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)

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

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)