Automatic Analysis of a Non-Repudiation Protocol

https://doi.org/10.1016/j.entcs.2004.01.020Get rights and content
Under a Creative Commons license
open access

Abstract

We define a probabilistic model for the analysis of a Non-Repudiation protocol that guarantees fairness, without resorting to a trusted third party, by means of a probabilistic algorithm. By using the PRISM model checker, we estimate the probability for a malicious user to break the non-repudiation property, depending on various parameters of the protocol.

Keywords

Probabilistic model
non-repudiation protocol
crypto-protocol
probabilistic algorithm
fairness
PRISM model checker

Cited by (0)