Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif.

Hiroyuki Okazaki Yuichi Futa Kenichi Arai

Published in: ISITA (2018)

Keyphrases

cryptographic protocols
security protocols
security properties
neural network
probabilistic model
statistical models
smart card
model selection
key management
security services
key exchange