Type-based analysis of key management in PKCS#11 cryptographic devices.

Matteo Centenaro Riccardo Focardi Flaminia L. Luccio

Published in: J. Comput. Secur. (2013)

Keyphrases

key management
ad hoc networks
key distribution
mobile devices
data sets
resource constrained
provably secure