Security analysis of a probabilistic nonrepudiation protocol (0)

by Alessandro Aldini, Roberto Gorrieri
Venue:Process Algebra and Probabilist Methods. Performance Modeling and Veri Second Joint International Workshop PAPM-PROBMIV 2002