Type-based analysis of PKCS\#11 key management

DOI10.1007/978-3-642-28641-4_19MaRDI QIDQ2894333zbMATH OpenOpenAlexWikidataFDO

Authors Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio

Publication date 29 June 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.6455

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
• On the security of PKCS \#11.
• A provably secure PKCS\#11 configuration without authenticated attributes
• A generic security API for symmetric key management on cryptographic devices
• A modular treatment of cryptographic APIs: the symmetric-key case

Cited in

(5)

• Secure key management policies in strand spaces
• Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
• On the security of PKCS \#11.
• Theoretical Computer Science
• A provably secure PKCS\#11 configuration without authenticated attributes

This page was built for publication: Type-based analysis of PKCS\#11 key management

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894333)