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, 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.
Type de document :
Communication dans un congrès
Damien Sauveron and Konstantinos Markantonakis and Angelos Bilas and Jean-Jacques Quisquater. Information Security Theory and Practices - Smart Cards, Mobile and Ubiquitous Computing Systems, May 2007, Heraklion, Greece. Springer, 4462, pp.90-101, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-72354-7_8〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00176333
Contributeur : Laurent Vigneron <>
Soumis le : mercredi 3 octobre 2007 - 11:41:18
Dernière modification le : jeudi 15 février 2018 - 08:48:09
Document(s) archivé(s) le : lundi 24 septembre 2012 - 13:02:29

Fichier

SantiagoV-WISTP07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Judson Santos Santiago, Laurent Vigneron. Optimistic Non-repudiation Protocol Analysis. Damien Sauveron and Konstantinos Markantonakis and Angelos Bilas and Jean-Jacques Quisquater. Information Security Theory and Practices - Smart Cards, Mobile and Ubiquitous Computing Systems, May 2007, Heraklion, Greece. Springer, 4462, pp.90-101, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-72354-7_8〉. 〈inria-00176333〉

Partager

Métriques

Consultations de la notice

250

Téléchargements de fichiers

292