SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Proving Secrecy is Easy Enough
 by Dr. Harald Rueß, Véronique Cortier & Jonathan Millen.

From 14th IEEE Computer Security Foundations Workshop.
IEEE Computer Society.
2001.


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.
BibTEX Entry
@inproceedings{CMR01,
    AUTHOR = {V\'{e}ronique Cortier and Jonathan Millen and Harald Rue\ss},
    TITLE = {Proving secrecy is easy enough},
    BOOKTITLE = {14th {IEEE} Computer Security Foundations Workshop},
    YEAR = {2001},
    PUBLISHER = {{IEEE} Computer Society},
    URL = {http://www.csl.sri.com/papers/cmr01/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy