The Interrogator: Protocol Secuity Analysis

1 February 1987

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-13 (2), 274-288
https://doi.org/10.1109/tse.1987.233151

Abstract

The Interrogator is a Prolog program that searches for security vulnerabilities in network protocols for automatic cryptographic key distribution. Given a formal specification of the protocol, it looks for message modification attacks that defeat the protocol objective. It is still under developement, but is has been able to rediscover a known vulnerability in a published protocol. It is implemented in LM-Prolog on a Lisp Machine, with a graphical user interface.

Keywords

CRYPTOGRAPHIC PROTOCOLS
CRYPTOGRAPHY
COMPUTER NETWORK MANAGEMENT
FORMAL SPECIFICATIONS
COMPUTER SECURITY
GRAPHICAL USER INTERFACES
USER INTERFACES
GRAPHICS
MICE
COMPUTER DISPLAYS

Cited by 120 articles