Formal Automatic Verification of Authentication Crytographic Protocols.

Mourad Debbabi Mohamed Mejri Nadia Tawbi I. Yahmadi

Published in: ICFEM (1997)

Keyphrases

authentication protocol
key distribution
security services
formal model
security analysis
biometric authentication
key agreement protocol
communication protocols
trusted third party
fault tolerant
security protocols
neural network
formal specification
formal analysis
user authentication