IEEE - Institute of Electrical and Electronics Engineers, Inc. - Language generation and verification in the NRL protocol analyzer

Proceedings 9th IEEE Computer Security Foundations Workshop

Author(s): Meadows, C.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Kenmare, Ireland, Ireland
Conference Date: 10 June 1996
Page(s): 48 - 61
ISBN (Paper): 0-8186-7522-5
ISSN (Paper): 1063-6900
DOI: 10.1109/CSFW.1996.503690
Regular:

The NRL protocol analyzer is a tool for proving security properties of cryptographic protocols, and for finding flaws if they exist. It is used by having the user first prove a number of lemmas... View More

Advertisement