TITLE     : Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols
AUTHOR(S) : Bistarelli S, Cervesato I, Lenzini G, Martinelli F
TYPE      : Conference article
YEAR      : 2003
CODE      : 44110

*** DO NOT EDIT THIS FILE ***