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

by N Durgin, P Lincoln, J C Mitchell, Scedrov
Venue:Journal of Computer Security