Concepts and Proofs for Configuring PKCS#11.

Sibylle B. Fröschle Nils Sommer

Published in: Formal Aspects in Security and Trust (2011)

Keyphrases

formal proof
databases
decision trees
domain ontology
key concepts
semantic relationships
neural network
database systems
access control
theorem prover