Sciweavers

19 search results - page 1 / 4

» csfw 2008

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 »

20

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 »

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 »

22

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 »

22

CSFW
2008
IEEE

79views Security Privacy» more CSFW 2008»

Refinement Types for Secure Implementations

14 years 3 months ago

Refinement Types for Secure Implementations

Download research.microsoft.com

Jesper Bengtson, Karthikeyan Bhargavan, Céd...

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »