DocumentCode
2673658
Title
The Interrogator model
Author
Millen, Jonathan K.
Author_Institution
Mitre Corp., Bedford, MA, USA
fYear
1995
fDate
8-10 May 1995
Firstpage
251
Lastpage
260
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1995. Proceedings., 1995 IEEE Symposium on
Conference_Location
Oakland, CA
Print_ISBN
0-8186-7015-0
Type
conf
DOI
10.1109/SECPRI.1995.398937
Filename
398937
Link To Document