loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First International Conference on Distributed Frameworks for Multimedia Applications (DFMA'05)
Secrecy Correctness for Security Protocols
Besan?on, France
February 06-February 09
ISBN: 0-7695-2273-4
ASCII Text
x 
 
K. Adi, L. Pene, "Secrecy Correctness for Security Protocols," Distributed Frameworks for Multimedia Applications, International Conference on, pp. 22-29, First International Conference on Distributed Frameworks for Multimedia Applications (DFMA'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/DFMA.2005.46,
author = {K. Adi and L. Pene},
title = {Secrecy Correctness for Security Protocols},
journal ={Distributed Frameworks for Multimedia Applications, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2273-4},
pages = {22-29},
doi = {http://doi.ieeecomputersociety.org/10.1109/DFMA.2005.46},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Frameworks for Multimedia Applications, International Conference on
TI - Secrecy Correctness for Security Protocols
SN - 0-7695-2273-4
SP22
EP29
A1 - K. Adi,
A1 - L. Pene,
PY - 2005
KW - Security Protocols
KW - Secrecy
KW - Protocol Correctness
KW - Formal Analysis
VL - 0
JA - Distributed Frameworks for Multimedia Applications, International Conference on
ER -
 
K. Adi, Universit? du Qu?bec en Outaouais, Canada
L. Pene, Universit? du Qu?bec en Outaouais, Canada
In this paper we address security protocol correctness with respect to secrecy and present a formal reasoning for evaluating such correctness. The proposed framework includes a comprehensive analysis and a bounding model for multi-session attacks that is sufficient for our correctness proofs. We examine the possible behavior of the intruder and draw conclusions about how his knowledge evolves and what actions he can take to gain as much information as possible for building winning strategies for an attack.
Index Terms:
Security Protocols, Secrecy, Protocol Correctness, Formal Analysis
Citation:
K. Adi, L. Pene, "Secrecy Correctness for Security Protocols," dfma, pp.22-29, First International Conference on Distributed Frameworks for Multimedia Applications (DFMA'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.