DocumentCode
1994287
Title
A model of computation for the NRL Protocol Analyzer
Author
Meadows, Catherine
Author_Institution
Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA
fYear
1994
fDate
14-16 Jun 1994
Firstpage
84
Lastpage
89
Abstract
We develop a model of computation for the NRL Protocol Analyzer by modifying and extending the model of computation for Burrows, Abadi, and Needham (BAN) logic (M. Burrows et al., 1990) developed by M. Abadi and M. Tuttle (1991). We use the results to point out the similarities and differences between the NRL Protocol Analyzer and BAN logic, and discuss the issues this raises with respect to the possible integration of the two
Keywords
cryptography; formal logic; network analysers; protocols; BAN logic; NRL Protocol Analyzer; computation model; Body sensor networks; Computational modeling; Concrete; Cryptographic protocols; Cryptography; Explosions; Laboratories; Logic; Machine tools; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings
Conference_Location
Franconia, NH
ISSN
1063-6900
Print_ISBN
0-8186-6230-1
Type
conf
DOI
10.1109/CSFW.1994.315945
Filename
315945
Link To Document