@article{Cervesato2018, author = "Iliano Cervesato and N. Durgin and J. Mitchell and P. Lincoln and A Scedrov", title = "{Relating Strands and Multiset Rewriting for Security Protocol Analysis}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Relating_Strands_and_Multiset_Rewriting_for_Security_Protocol_Analysis/6608960", doi = "10.1184/R1/6608960.v1" }