Secure key management policies in strand spaces

DOI10.1007/978-3-030-91631-2_10zbMath1498.94060OpenAlexW3214843528MaRDI QIDQ2154015

Flaminia L. Luccio, Riccardo Focardi

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)

Cites Work

• Unnamed Item
• State and progress in strand spaces: proving fair exchange
• Formal methods analysis of the secure remote password protocol
• Type-Based Analysis of PKCS#11 Key Management
• An Introduction to Security API Analysis
• Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
• Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
• On the security of public key protocols
• On the Security of PKCS #11
• A Provably Secure PKCS#11 Configuration Without Authenticated Attributes

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