Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data

DOI10.1007/978-3-642-03459-6_7zbMath1252.68108OpenAlexW2125030112MaRDI QIDQ3184714

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) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (3)

A generic security API for symmetric key management on cryptographic devices ⋮ An Introduction to Security API Analysis ⋮ A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case

Uses Software

• SATMC

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