Reasoning with Past to Prove PKCS#11 Keys Secure

Lecture Notes in Computer Science - Formal Aspects of Security and Trust ◽

10.1007/978-3-642-19751-2_7 ◽

2011 ◽

pp. 96-110 ◽

Cited By ~ 9

Author(s):

Sibylle Fröschle ◽

Nils Sommer

Download Full-text