scientific article; zbMATH DE number 1746674

MaRDI QIDQ4530846zbMATH OpenFDO

Authors Iliano Cervesato

Publication date 9 June 2002

Mathematics Subject Classification ID

Cryptography (94A60) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) 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
• scientific article; zbMATH DE number 1832233

Cited in

(11)

• Multiset rewriting for the verification of depth-bounded processes with name binding
• Pattern-matching spi-calculus
• scientific article; zbMATH DE number 1962759 (Why is no real title available?)
• 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
• Rule-based static analysis of network protocol implementations
• Relating state-based and process-based concurrency through linear logic (full-version)
• Formal analysis of Kerberos 5
• Typed multiset rewriting specifications of security protocols
• Relating state-based and process-based concurrency through linear logic
• Breaking and fixing public-key Kerberos

This page was built for publication:

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