DocumentCode
3379217
Title
Variations on the themes of message freshness and replay-or the difficulty in devising formal methods to analyze cryptographic protocols
Author
Gong, Li
Author_Institution
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
fYear
1993
fDate
15-17 Jun 1993
Firstpage
131
Lastpage
136
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop VI, 1993. Proceedings
Conference_Location
Franconia, NH
Print_ISBN
0-8186-3950-4
Type
conf
DOI
10.1109/CSFW.1993.246633
Filename
246633
Link To Document