Nancy A. Durgin Patrick Lincoln John C. Mitchell Multiset rewriting and the complexity of bounded security protocols. 247-311 2004 12 Journal of Computer Security 2 db/journals/jcs/jcs12.html#DurginLM04