Multiset Rewriting and the Complexity of Bounded Security Protocols (2002)

by N. A. Durgin , P.D. Lincoln , J. C. Mitchell , A. Scedrov
Venue:Journal of Computer Security
Citations:56 - 5 self