Formal Analysis of Key Integrity in PKCS#11.

Andrea Falcone Riccardo Focardi

Published in: ARSPA-WITS (2010)

Keyphrases

formal analysis
agent model
formal methods
machine learning
software engineering
integrity constraints
integrity checking
ban logic