Automatic analysis of a non-repudiation protocol,” (2005)

by R Lanotte, A Maggiolo-Schettini, A Troina
Venue:Electronic Notes in Theoretical Computer Science,