Optimistic Non-repudiation Protocol Analysis

Judson Santos Santiago 1 Laurent Vigneron 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00176333
Contributor : Laurent Vigneron <>
Submitted on : Wednesday, October 3, 2007 - 11:41:18 AM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM
Long-term archiving on : Monday, September 24, 2012 - 1:02:29 PM

File

SantiagoV-WISTP07.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

275

Files downloads

375