Typed MSR: Syntax and examples

DOI10.1007/3-540-45116-1_18MaRDI QIDQ4530846zbMATH OpenFDO

Authors Iliano Cervesato

Publication date 9 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45116-1_18

Mathematics Subject Classification ID

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Typed multiset rewriting specifications of security protocols
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• An improved formal model of cryptographic protocols
• A type and effect analysis of security protocols

Cited in

(11)

• Rule-based static analysis of network protocol implementations
• Breaking and fixing public-key Kerberos
• Pattern-matching spi-calculus
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• Data access specification and the most powerful symbolic attacker in MSR
• Relating state-based and process-based concurrency through linear logic
• Typed multiset rewriting specifications of security protocols
• Multiset rewriting for the verification of depth-bounded processes with name binding
• Relating state-based and process-based concurrency through linear logic (full-version)
• Formal analysis of Kerberos 5
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

This page was built for publication: Typed MSR: Syntax and examples

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