The Interrogator: A Tool for Cryptographic Protocol Security.

Jonathan K. Millen

Published in: IEEE Symposium on Security and Privacy (1984)

Keyphrases

cryptographic protocols
security protocols
security properties
authentication protocol
standard model
insider attacks
software engineering
intrusion detection
information security
security issues
encryption decryption
information systems
query processing
data integration
security requirements
security analysis