Design and Verification of a Non-repudiation Protocol Based on Receiver-Side Smart Card

Liu Jing 1 Laurent Vigneron 2
2 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 : All the existing non-repudiation protocols ensuring strong fairness have to assume that the communication channel between TTP and each player is resilient at least. While only unreliable channel can be guaranteed, all these protocols become impractical. In this paper, based on smart card on the receiver side, we design a fair non-repudiation protocol that needs no assumptions on the communication channel. The smart card takes over some roles of a dedicated TTP server. Without a dedicated TTP server, this protocol is ideal for some ad hoc scenarios (e.g., MANET) where no infrastructure is available (i.e., even offline TTP cannot be assumed). This protocol can also be easily modified to support fair exchange of time-sensitive data. Compared with other traditional security protocols, automatic formal verification of fair nonrepudiation protocols is much harder to achieve. We use meta-reasoning method to prove that the fair exchange property of this protocol can be reduced to three secrecy properties that fall into the scope of today's most automatic verification tools and therefore can be easily verified. We also use another recently proposed automatic method to verify the non-repudiation properties and fairness property of our protocol.
Type de document :
Article dans une revue
IET Information Security, Institution of Engineering and Technology, 2010, 4 (1), pp.15-29
Liste complète des métadonnées

https://hal.inria.fr/inria-00426527
Contributeur : Laurent Vigneron <>
Soumis le : lundi 26 octobre 2009 - 15:27:15
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

  • HAL Id : inria-00426527, version 1

Citation

Liu Jing, Laurent Vigneron. Design and Verification of a Non-repudiation Protocol Based on Receiver-Side Smart Card. IET Information Security, Institution of Engineering and Technology, 2010, 4 (1), pp.15-29. 〈inria-00426527〉

Partager

Métriques

Consultations de la notice

316