Type-Based Analysis of PKCS#11 Key Management

DOI10.1007/978-3-642-28641-4_19zbMath1354.94023OpenAlexW137801185WikidataQ57832089 ScholiaQ57832089MaRDI QIDQ2894333

Riccardo Focardi, Matteo Centenaro, 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)

Related Items (1)

Secure key management policies in strand spaces

This page was built for publication: Type-Based Analysis of PKCS#11 Key Management