Automatic Analysis of a Non-Repudiation Protocol (2004)

Cached

Download Links

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