A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov. A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. In Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa, editors, Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers. Volume 2609 of Lecture Notes in Computer Science, pages 356-383, Springer, 2002. [doi]

This author has not been identified. Look up 'Iliano Cervesato' in GoogleThis author has not been identified. Look up 'Nancy A. Durgin' in GoogleThis author has not been identified. Look up 'Patrick Lincoln' in GoogleThis author has not been identified. Look up 'John C. Mitchell' in GoogleThis author has not been identified. Look up 'Andre Scedrov' in Google

runs on WebDSL