Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data

DOI10.1007/978-3-642-03459-6_7MaRDI QIDQ3184714zbMATH OpenOpenAlexFDO

Authors Sibylle Fröschle, Graham Steel

Publication date 22 October 2009

Published in Foundations and Applications of Security Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03459-6_7

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Type-based analysis of PKCS\#11 key management
• A provably secure PKCS\#11 configuration without authenticated attributes
• On the security of PKCS \#11.
• A generic security API for symmetric key management on cryptographic devices
• Automatic Analysis of the Security of XOR-Based Key Management Schemes

Cited in

(8)

• Secure key management policies in strand spaces
• A modular treatment of cryptographic APIs: the symmetric-key case
• Type-based analysis of PKCS\#11 key management
• An introduction to security API analysis
• A generic security API for symmetric key management on cryptographic devices
• On the security of PKCS \#11.
• Automatic Analysis of the Security of XOR-Based Key Management Schemes
• A provably secure PKCS\#11 configuration without authenticated attributes

Describes a project that uses

Uses Software

• SATMC

This page was built for publication: Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data

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