Can I read Formal Analysis of PKCS#11 Security on EtoBox?
Formal Analysis of PKCS#11 Security by Ronald Martinez is a document available to read on EtoBox.
What is Formal Analysis of PKCS#11 Security about?
The document summarizes research on formally analyzing the security of the PKCS#11 cryptographic API. It describes how the API allows access to cryptographic devices but is vulnerable to attacks. The researchers built a formal model that accounts for non-monotonic mutable global state. They proved some decidability results for the model and used a model checker to automate proving properties for different API configurations. The model revealed new attacks and proved the safety of some configurations. The go
- Author
- Ronald Martinez
- Language
- EN