Protocol Specification and Analysis in Maude (1998)

Cached

Download Links

by G. Denker , J. Meseguer , C. Talcott
Venue:Proc. of Workshop on Formal Methods and Security Protocols
Citations:45 - 11 self