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)

Full work available at URL https://doi.org/10.1016/S1571-0661(05)80035-0

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60) 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

• A framework for defining logics
• 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?)
• 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)

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

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)