Secure key management policies in strand spaces

DOI10.1007/978-3-030-91631-2_10MaRDI QIDQ2154015zbMATH OpenOpenAlexFDO

Authors Riccardo Focardi, Flaminia L. Luccio

Publication date 13 July 2022

Full work available at URL https://doi.org/10.1007/978-3-030-91631-2_10

zbMATH Keywords

automated verificationstrand spaceskey managementcrypto API

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A generic security API for symmetric key management on cryptographic devices
• Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data
• Type-based analysis of PKCS\#11 key management
• Key compromise, strand spaces, and the authentication tests
• Automatic Analysis of the Security of XOR-Based Key Management Schemes

Cites work

• scientific article; zbMATH DE number 1962758 (Why is no real title available?)
• A provably secure PKCS\#11 configuration without authenticated attributes
• An introduction to security API analysis
• Formal methods analysis of the secure remote password protocol
• Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
• On the security of PKCS \#11.
• On the security of public key protocols
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• State and progress in strand spaces: proving fair exchange
• Type-based analysis of PKCS\#11 key management

Cited in

(1)

• Programming Languages and Systems

This page was built for publication: Secure key management policies in strand spaces

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