Multiset rewriting and security protocol analysis

DOI10.1007/3-540-45610-4_2MaRDI QIDQ4808734zbMATH OpenFDO

Authors John Mitchell

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2378/23780019.htm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 1390339
• A comparison between strand spaces and multiset rewriting for security protocol analysis
• Typed multiset rewriting specifications of security protocols
• An improved formal model of cryptographic protocols
• Rewriting-based verification of authentication protocols

Cited in

(12)

• On linear logic planning and concurrency
• A multiset rewriting model for specifying and verifying timing aspects of security protocols
• Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk)
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• Modeling group communication protocols using multiset term rewriting
• Rewriting-based verification of authentication protocols
• An improved formal model of cryptographic protocols
• A comparison between strand spaces and multiset rewriting for security protocol analysis
• Typed multiset rewriting specifications of security protocols
• Encryption as an abstract data-type (extended abstract)
• scientific article; zbMATH DE number 1390339 (Why is no real title available?)
• A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties

This page was built for publication: Multiset rewriting and security protocol analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808734)