A meta-notation for protocol analysis (1999)

by I. Cervesato , N. A. Durgin , P. D. Lincoln , J. C. Mitchell , A. Scedrov
Venue:in: Proc. CSFW’99
Citations:142 - 33 self