Protocol specification and analysis in Maude (1998)

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