Title :
The Interrogator model
Author :
Millen, Jonathan K.
Author_Institution :
Mitre Corp., Bedford, MA, USA
Abstract :
The Interrogator is a protocol security analysis tool implemented in Prolog and based on a communicating-machine message transformation model with message modification threats. It supports a large and extendible class of symbolic encryption and data transformation operators with a novel equation-solving approach in the context of equational theories. The operator representation and equation-solving capability has a simple interface to the protocol and threat model
Keywords :
cryptography; protocols; software tools; symbol manipulation; Interrogator model; Prolog; communicating-machine message transformation model; data transformation operators; equation-solving approach; equational theories; interface; message modification threats; operator representation; protocol security analysis tool; symbolic encryption; Authentication; Body sensor networks; Cryptographic protocols; Equations; Failure analysis; Logic; Proposals; Public key; Public key cryptography; Software tools;
Conference_Titel :
Security and Privacy, 1995. Proceedings., 1995 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-7015-0
DOI :
10.1109/SECPRI.1995.398937
