A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis (2002)  (Make Corrections)  (4 citations) Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln, et al.   Home/Search   Context   Related Links:   DBLP

View or download: stanford.edu/~iliano/pap...jcs05b.ps.gz 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/~iliano/papers/ (more) (Enter author homepages)

Rate this article: (best) View Comments (0)

@misc{ cervesato02comparison,
  author = "I. Cervesato and N. Durgin and P. Lincoln and J. Mitchell and A. Scedrov",
  title = "A comparison between strand spaces and multiset rewriting for security
    protocol analysis",
  text = "I. Cervesato, N. Durgin, P.D. Lincoln, J.C. Mitchell, and A. Scedrov. A
    comparison between strand spaces and multiset rewriting for security protocol
    analysis. In M. Okada et al., eds., Software Security { Theories and Systems.
    Mext-NSF-JSPS International Symposium, ISSS 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/cervesato02comparison.html" }