The Interrogator: Protocol Secuity Analysis

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 developemen...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on software engineering Vol. SE-13; no. 2; pp. 274 - 288
Main Authors Millen, J.K., Clark, S.C., Freedman, S.B.
Format Journal Article
LanguageEnglish
Published IEEE 01.02.1987
Subjects
Active wiretapping
Computer displays
Computer network management
Computer security
Cryptographic protocols
Cryptography
Formal specifications
Graphical user interfaces
Graphics
key distribution
Mice
network security
Prolog
protocol verification
User interfaces
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:0098-5589
DOI:10.1109/TSE.1987.233151