Papers -- Quantitative Analysis of a Probabilistic Non-repudiation Protocol through