scientific article; zbMATH DE number 1746674
From MaRDI portal
Publication:4530846
zbMATH Open0986.68510MaRDI QIDQ4530846FDOQ4530846
Authors: Iliano Cervesato 
Publication date: 9 June 2002
Title of this publication is not available (Why is that?)
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
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)
Cited In (11)
- Multiset rewriting for the verification of depth-bounded processes with name binding
- Pattern-matching spi-calculus
- Title not available (Why is that?)
- 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)
