Multiset rewriting and the complexity of bounded security protocols. (2004)

by Nancy A Durgin, Patrick Lincoln, John C Mitchell, Andre Scedrov
Venue:Journal of Computer Security,