DocumentCode
2812609
Title
Cryptographic protocol analysis using goal extraction
Author
Edmonds, Janica ; Papa, Mauricio
Author_Institution
Center for Commun. Technol., Tulsa Univ., OK, USA
Volume
1
fYear
2004
fDate
5-7 April 2004
Firstpage
75
Abstract
Cryptographic protocols provide frameworks for communicating, authenticating, and exchanging secrets in sundry situations. Protocol assessment for discovering design flaws requires modeling and analyzing the protocol. Protocol analysis reveals attacks that an intruder can use. The proposed methodology provides an effective means for analyzing protocols by using message-pattern matching and goal extraction. The algorithmic approach for goal extraction and analysis has potential for automated protocol analysis.
Keywords
cryptography; data communication; message authentication; pattern matching; protocols; authentication; cryptographic protocol analysis; design flaw discovery; goal extraction; intruder attacks; message-pattern matching; protocol assessment; protocol modeling; Algorithm design and analysis; Analytical models; Authentication; Calculus; Cryptographic protocols; Data mining; Educational institutions; Explosions; Heart; Information security;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004. International Conference on
Print_ISBN
0-7695-2108-8
Type
conf
DOI
10.1109/ITCC.2004.1286429
Filename
1286429
Link To Document