Protocol specification and analysis (1998)

by G Denker, J Meseguer, C Talcott
Venue:in Maude. In Workshop on Formal Methods and Security Protocols