Sciweavers

14850 search results - page 24 / 2970

» The Security of

20

CSFW
2008
IEEE

119views Security Privacy» more CSFW 2008»

Tractable Enforcement of Declassification Policies

14 years 3 months ago

Tractable Enforcement of Declassification Policies

Download www-sop.inria.fr

Gilles Barthe, Salvador Cavadini, Tamara Rezk

claim paper

Read More »

23

CSFW
2008
IEEE

118views Security Privacy» more CSFW 2008»

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

14 years 3 months 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 »

22

CSFW
2008
IEEE

110views Security Privacy» more CSFW 2008»

Cryptographically-Sound Protocol-Model Abstractions

14 years 3 months ago

Cryptographically-Sound Protocol-Model Abstractions

Download www.zisc.ethz.ch

Christoph Sprenger, David A. Basin

claim paper

Read More »

24

CSFW
2008
IEEE

91views Security Privacy» more CSFW 2008»

Formal Analysis of PKCS#11

14 years 3 months ago

Formal Analysis of PKCS#11

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

31

HOST
2008
IEEE

164views Security Privacy» more HOST 2008»

Reassessing the TCG Specifications for Trusted Computing in Mobile and Embedded Systems

14 years 3 months ago

Reassessing the TCG Specifications for Trusted Computing in Mobile and Embedded Systems

Download www.cs.bris.ac.uk

Johann Großschädl, Tobias Vejda, Dan Pa...

claim paper

Read More »

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