Typed multiset rewriting specifications of security protocols

DOI10.1016/S1571-0661(05)80035-0MaRDI QIDQ4923367zbMATH OpenWikidataFDO

Authors Iliano Cervesato

Publication date 6 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• scientific article; zbMATH DE number 1746674
• 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
• scientific article; zbMATH DE number 2090061
• An improved formal model of cryptographic protocols

Cites work

• scientific article; zbMATH DE number 1962759 (Why is no real title available?)
• scientific article; zbMATH DE number 1746674 (Why is no real title available?)
• scientific article; zbMATH DE number 963644 (Why is no real title available?)
• A framework for defining logics
• On the security of public key protocols
• Typed multiset rewriting specifications of security protocols
• Using encryption for authentication in large networks of computers

Cited in

(14)

• Union and Intersection Types for Secure Protocol Implementations
• scientific article; zbMATH DE number 1746674 (Why is no real title available?)
• scientific article; zbMATH DE number 5141412 (Why is no real title available?)
• 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
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• An improved formal model of cryptographic protocols
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• scientific article; zbMATH DE number 2090061 (Why is no real title available?)
• Fairness and communication-based semantics for session-typed languages
• Encryption as an abstract data-type (extended abstract)
• Typed multiset rewriting specifications of security protocols
• Modular verification of security protocol code by typing
• The ILLTP library for intuitionistic linear logic

This page was built for publication: Typed multiset rewriting specifications of security protocols

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