Sciweavers

14824 search results - page 24 / 2965

» Security - Introduction

117

ACSAC
2008
IEEE

110views Security Privacy» more ACSAC 2008»

McBoost: Boosting Scalability in Malware Collection and Analysis Using Statistical Classification of Executables

16 years 9 days ago

McBoost: Boosting Scalability in Malware Collection and Analysis Using Statistical Classification of Executables

Download security.dico.unimi.it

Roberto Perdisci, Andrea Lanzi, Wenke Lee

claim paper

Read More »

139

CSFW
2008
IEEE

119views Security Privacy» more CSFW 2008»

Tractable Enforcement of Declassification Policies

16 years 9 days ago

Tractable Enforcement of Declassification Policies

Download www-sop.inria.fr

Gilles Barthe, Salvador Cavadini, Tamara Rezk

claim paper

Read More »

129

CSFW
2008
IEEE

118views Security Privacy» more CSFW 2008»

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

16 years 9 days ago

Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

Download pubs.doc.ic.ac.uk

Glenn Bruns, Michael Huth

claim paper

Read More »

124

CSFW
2008
IEEE

110views Security Privacy» more CSFW 2008»

Cryptographically-Sound Protocol-Model Abstractions

16 years 9 days ago

Cryptographically-Sound Protocol-Model Abstractions

Download www.zisc.ethz.ch

Christoph Sprenger, David A. Basin

claim paper

Read More »

145

CSFW
2008
IEEE

91views Security Privacy» more CSFW 2008»

Formal Analysis of PKCS#11

16 years 9 days ago

Formal Analysis of PKCS#11

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Graham Ste...

claim paper

Read More »

« Prev « First page 24 / 2965 Last » Next »