Automatic Analysis of a Non-Repudiation Protocol (2004)

by Ruggero Lanotte , Andrea Maggiolo-schettini , Angelo Troina
Venue:In Proc. of QAPL’03, Elsevier ENTCS
Citations:9 - 2 self