TITLE     : Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis
AUTHOR(S) : Bistarelli S, Cervesato I, Lenzini G, Martinelli F
TYPE      : Conference article
YEAR      : 2003
CODE      : 91771

*** DO NOT EDIT THIS FILE ***