loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 1
Cryptographic Protocol Analysis using Goal Extraction
Las Vegas, Nevada
April 05-April 07
ISBN: 0-7695-2108-8
ASCII Text
x 
 
Janica Edmonds, Mauricio Papa, "Cryptographic Protocol Analysis using Goal Extraction," Information Technology: Coding and Computing, International Conference on, vol. 1, pp. 75, International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 1, 2004.
 
 
BibTex
x
 
@article{ 10.1109/ITCC.2004.1286429,
author = {Janica Edmonds and Mauricio Papa},
title = {Cryptographic Protocol Analysis using Goal Extraction},
journal ={Information Technology: Coding and Computing, International Conference on},
volume = {1},
year = {2004},
isbn = {0-7695-2108-8},
pages = {75},
doi = {http://doi.ieeecomputersociety.org/10.1109/ITCC.2004.1286429},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Information Technology: Coding and Computing, International Conference on
TI - Cryptographic Protocol Analysis using Goal Extraction
SN - 0-7695-2108-8
SP
EP
A1 - Janica Edmonds,
A1 - Mauricio Papa,
PY - 2004
KW - null
VL - 1
JA - Information Technology: Coding and Computing, International Conference on
ER -
 
Janica Edmonds, University of Tulsa
Mauricio Papa, University of Tulsa
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.
Citation:
Janica Edmonds, Mauricio Papa, "Cryptographic Protocol Analysis using Goal Extraction," itcc, vol. 1, pp.75, International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 1, 2004
Usage of this product signifies your acceptance of the Terms of Use.