Protocol Specification and Analysis in Maude (1998)

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