Automatic analysis of a non-repudiation protocol (2004)

by R Lanotte, A Maggiolo-Schettini, A Troina
Venue:In Proc. 2nd International Workshop on Quantitative Aspects of Programming Languages (QAPL’04