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.
R. LANOTTE, A. MAGGIOLO-SCHETTINI, A. TROINA (2005). Automatic Analysis of a Non-Repudiation Protocol. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 112, 113-129 [10.1016/j.entcs.2004.01.020].
Automatic Analysis of a Non-Repudiation Protocol
TROINA, ANGELO
2005
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
