DMCA

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:166 - 38 self