Relating Strands and Multiset Rewriting for Security Protocol Analysis