The CL-Atse Protocol Analyser - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

The CL-Atse Protocol Analyser

Abstract

We present a symbolic analysis of the ephemerizer's protocol by Radia Perlman, using the CL-Atse tool from the AVISPA's toolsuite. 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.
Fichier principal
Vignette du fichier
RTA06_16_Turuani.pdf (106.62 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00103573 , version 1 (04-10-2006)

Identifiers

  • HAL Id : inria-00103573 , version 1

Cite

Mathieu Turuani. The CL-Atse Protocol Analyser. 17th International Conference on Term Rewriting and Applications - RTA 2006, Aug 2006, Seattle, WA/USA, pp.277--286. ⟨inria-00103573⟩
143 View
927 Download

Share

Gmail Facebook X LinkedIn More