Ametanotation for protocol analysis (1999)

by N A Durgin I Cervesato, J C Mitchell P D Lincoln, andA Scedrov
Venue:Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW ’99. IEEE Computer