Sciweavers

19 search results - page 1 / 4

» csfw 2008

13

CSFW
2008
IEEE

118views Security Privacy» more CSFW 2008»

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

13 years 11 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 »

12

CSFW
2008
IEEE

110views Security Privacy» more CSFW 2008»

Cryptographically-Sound Protocol-Model Abstractions

13 years 11 months ago

Cryptographically-Sound Protocol-Model Abstractions

Download www.zisc.ethz.ch

Christoph Sprenger, David A. Basin

claim paper

Read More »

8

CSFW
2008
IEEE

119views Security Privacy» more CSFW 2008»

Tractable Enforcement of Declassification Policies

13 years 11 months ago

Tractable Enforcement of Declassification Policies

Download www-sop.inria.fr

Gilles Barthe, Salvador Cavadini, Tamara Rezk

claim paper

Read More »

12

CSFW
2008
IEEE

91views Security Privacy» more CSFW 2008»

Formal Analysis of PKCS#11

13 years 11 months ago

Formal Analysis of PKCS#11

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

12

CSFW
2008
IEEE

79views Security Privacy» more CSFW 2008»

Refinement Types for Secure Implementations

13 years 11 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 »