Automatically Analysing Non-repudiation with Authentication - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Automatically Analysing Non-repudiation with Authentication


Non-repudiation protocols must ensure that when two parties exchange informations over a network, neither one nor the other can deny having participated in this communication. While security issues such as secrecy and authentication have been studied intensively, interest in non-repudiation has only come in recent years and most of the non-repudiation protocol analysis has been done manually. In this paper we present how non-repudiation properties can be modeled as authentication properties; the AVISPA Tool, that supports secrecy and authentication only, is used to automatically analyse the non-repudiation properties of the Fair Zhou-Gollmann protocol.
No file

Dates and versions

inria-00105534 , version 1 (11-10-2006)


  • HAL Id : inria-00105534 , version 1


Judson Santos Santiago, Laurent Vigneron. Automatically Analysing Non-repudiation with Authentication. 3rd Taiwanese-French Conference on Information Technology - TFIT 06, Mar 2006, Nancy/France, pp.541-554. ⟨inria-00105534⟩
65 View
0 Download


Gmail Facebook X LinkedIn More