A meta-notation for protocol analysis (1999)

by I Cervesato, N Durgin, P D Lincoln, J C Mitchell, A Scedrov
Venue:In Proc. 12th IEEE Computer Security Foundations Workshop