Formal validation of the security properties of AMT's three-way handshake.

Ali Salem J. William Atwood

Published in: LCN (2011)

Keyphrases

security properties
formal model
formal methods
security requirements
security analysis
security vulnerabilities
formal specification
security protocols
cryptographic protocols
key agreement
artificial intelligence
case study