Typed multiset rewriting specifications of security protocols

DOI10.1016/S1571-0661(05)80035-0zbMATH Open1264.68075WikidataQ115012757 ScholiaQ115012757MaRDI QIDQ4923367FDOQ4923367

Authors: Iliano Cervesato 

Publication date: 6 June 2013

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

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

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)

Cites Work

• A framework for defining logics
• Using encryption for authentication in large networks of computers
• On the security of public key protocols
• Title not available (Why is that?)
• Title not available (Why is that?)
• Typed multiset rewriting specifications of security protocols
• Title not available (Why is that?)

Cited In (14)

• Title not available (Why is that?)
• Union and Intersection Types for Secure Protocol Implementations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• An improved formal model of cryptographic protocols
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
• Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)