A Meta-notation for Protocol Analysis (1999)

by I Cervesato, N Durgin, P Lincoln, J Mitchell, A Scedrov
Venue:In 12th Computer Security Foundations Workshop (CSFW’99