| 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.
|
 Additional Information
|
Citation:
Janica Edmonds, Mauricio Papa,
"Cryptographic Protocol Analysis using Goal Extraction,"
itcc,
p. 75,
International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 1,
2004
|
