Relating Strands and Multiset Rewriting for Security Protocol Analysis (2000)  (Make Corrections)  (42 citations) I. Cervesato, N. Durgin, J. Mitchell, P. Lincoln, A. ScedrovPCSFW: Proceedings of The 13th Computer Security Foundations Workshop   Home/Search   Context   Related

View or download: stanford.edu/~iliano/pap...csfw00.ps.gz stanford.edu/pub/jcm/papers...csfw00.ps stanford.edu/people/jcm/pap...csfw00.ps Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  stanford.edu/~ilian...byYearmain (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@inproceedings{ cervesato00relating,
    author = "Cervesato and Durgin and Mitchell and Lincoln and Scedrov",
    title = "Relating Strands and Multiset Rewriting for Security Protocol Analysis",
    booktitle = "{PCSFW}: Proceedings of The 13th Computer Security Foundations Workshop",
    publisher = "IEEE Computer Society Press",
    year = "2000",
    url = "citeseer.ist.psu.edu/article/cervesato00relating.html" }