Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CSFW
2008
IEEE

favoriteEmaildiscussreport

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

Real-time Traffic

CSFW 2008 | Security Privacy |

claim paper

Related Content

» Formal security analysis of PKCS11 and proprietary extensions

» Formal Analysis of Key Integrity in PKCS11

» Automatic analysis of DMA races using model checking and kinduction

» Similarity measures in formal concept analysis

» Unsupervised Morphological Analysis by Formal Analogy

» ReductionBased Formal Analysis of BGP Instances

» Formal Analysis of Online Algorithms

» Discovering Concrete Attacks on Website Authorization by Formal Analysis

» Formal Analysis of Privacy in an eHealth Protocol

Post Info
More Details (n/a)

Added	29 May 2010
Updated	29 May 2010
Type	Conference
Year	2008
Where	CSFW
Authors	Stéphanie Delaune, Steve Kremer, Graham Steel

Comments (0)