Optimistic Non-repudiation Protocol Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Optimistic Non-repudiation Protocol Analysis


Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol that avoids altogether the use of session labels. We have specified and analysed this protocol using an extended version of the AVISPA Tool and one important fault has been discovered. We describe the protocol, the analysis method, show two attack traces that exploit the fault and propose a correction to the protocol.
Fichier principal
Vignette du fichier
SantiagoV-WISTP07.pdf (159.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00176333 , version 1 (03-10-2007)



Judson Santos Santiago, Laurent Vigneron. Optimistic Non-repudiation Protocol Analysis. Information Security Theory and Practices - Smart Cards, Mobile and Ubiquitous Computing Systems, May 2007, Heraklion, Greece. pp.90-101, ⟨10.1007/978-3-540-72354-7_8⟩. ⟨inria-00176333⟩
116 View
284 Download



Gmail Facebook Twitter LinkedIn More