Title :
Variations on the themes of message freshness and replay-or the difficulty in devising formal methods to analyze cryptographic protocols
Author_Institution :
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
Abstract :
A survey is given of the variations on the choice and the usage of freshness identifiers, and the various forms of replay attack. Besides helping to clarify the important concepts of freshness and replay, this exercise demonstrates the potential complexity in devising formal methods to analyze cryptographic protocols
Keywords :
computational complexity; cryptography; formal verification; message authentication; protocols; cryptographic protocols; formal methods; freshness identifiers; message freshness; potential complexity; replay attack; Algorithm design and analysis; Authentication; Authorization; Clocks; Computer science; Cryptographic protocols; Cryptography; Laboratories; Logic design; Security;
Conference_Titel :
Computer Security Foundations Workshop VI, 1993. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-3950-4
DOI :
10.1109/CSFW.1993.246633
