Skip to Main content Skip to Navigation
New interface
Conference papers

Adding Integrity to the Ephemerizer's Protocol

Charu Arora 1 Mathieu Turuani 1 
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : We present a symbolic analysis of the ephemerizer's protocol by Radia Perlman, using the CL-Atse tool from the AVISPA's tool-suite. This protocol allows transmitting a data that will "disappear" (i.e. cannot be retrieved) after a certain time. We show that this protocol is secured for this property plus the secrecy of the data, but is trivially non secured for it's integrity. Therefore, we present two extensions of this protocol, one natural and probably already done in practice, the other one much less obvious. We shows that while the first extension guaranty the basic integrity property under certain conditions, the second one is much stronger and even allows faster computations.
Document type :
Conference papers
Complete list of metadata
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Wednesday, September 6, 2006 - 7:08:24 PM
Last modification on : Friday, January 21, 2022 - 3:09:05 AM
Long-term archiving on: : Thursday, September 20, 2012 - 10:23:06 AM


  • HAL Id : inria-00091660, version 1


Charu Arora, Mathieu Turuani. Adding Integrity to the Ephemerizer's Protocol. Sixth International Workshop on Automatic Verification of Critical Systems - AVOCS'06, Sep 2006, Nancy/France, pp.146-151. ⟨inria-00091660⟩



Record views


Files downloads