Title :
Cryptographic protocol analysis using goal extraction
Author :
Edmonds, Janica ; Papa, Mauricio
Author_Institution :
Center for Commun. Technol., Tulsa Univ., OK, USA
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;
Conference_Titel :
Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004. International Conference on
Print_ISBN :
0-7695-2108-8
DOI :
10.1109/ITCC.2004.1286429
