Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli. Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. In Vladimir Gorodetsky, Leonard J. Popyack, Victor A. Skormin, editors, Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings. Volume 2776 of Lecture Notes in Computer Science, pages 86-99, Springer, 2003. [doi]

The following publications are possibly variants of this publication:

Relating multiset rewriting and process algebras for security protocol analysisStefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli. jcs, 13(1):3-47, 2005.

Relating Strands and Multiset Rewriting for Security Protocol AnalysisIliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov. csfw 2000: 35-51 [doi]

Typed Multiset Rewriting Specifications of Security ProtocolsIliano Cervesato. ENTCS, 40:8-51, 2000. [doi]

A comparison between strand spaces and multiset rewriting for security protocol analysisIliano Cervesato, Nancy A. Durgin, Patrick Lincoln. jcs, 13(2):265-316, 2005.

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol AnalysisIliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov. isss2 2003: 356-383 [doi]

runs on WebDSL