loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th IEEE Computer Security Foundations Workshop (CSFW'01)
Proving Secrecy is Easy Enough
Cape Breton, Novia Scotia, Canada
June 11-June 13
ISBN: 0-7695-1146-5
ASCII Text
x 
 
Véronique Cortier, Jon Millen, Harald Rueß, "Proving Secrecy is Easy Enough," Computer Security Foundations Workshop, IEEE, pp. 0097, 14th IEEE Computer Security Foundations Workshop (CSFW'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CSFW.2001.930139,
author = {Véronique Cortier and Jon Millen and Harald Rueß},
title = {Proving Secrecy is Easy Enough},
journal ={Computer Security Foundations Workshop, IEEE},
volume = {0},
year = {2001},
isbn = {0-7695-1146-5},
pages = {0097},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2001.930139},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Security Foundations Workshop, IEEE
TI - Proving Secrecy is Easy Enough
SN - 0-7695-1146-5
SP
EP
A1 - Véronique Cortier,
A1 - Jon Millen,
A1 - Harald Rueß,
PY - 2001
VL - 0
JA - Computer Security Foundations Workshop, IEEE
ER -
 
Véronique Cortier, Ecole Normale Sup?rieure de Cachan
Jon Millen, SRI International
Harald Rueß, SRI International
Abstract: We develop a systematic proof procedure for establishing secrecy results for cryptographic protocols. Part of the procedure is to reduce messages to simplified constituents, and its core is a search procedure for establishing secrecy results. This procedure is sound but incomplete in that it may fail to establish secrecy for some secure protocols. However, it is amenable to mechanization, and it also has a convenient visual representation. We demonstrate the utility of our procedure with secrecy proofs for standard benchmarks such as the Yahalom protocol.
Citation:
Véronique Cortier, Jon Millen, Harald Rueß, "Proving Secrecy is Easy Enough," csfw, pp.0097, 14th IEEE Computer Security Foundations Workshop (CSFW'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.