Secure refinements of communication channels

DOI10.4230/LIPICS.FSTTCS.2015.575MaRDI QIDQ5275398zbMATH OpenFDO

Authors Vincent Cheval, Véronique Cortier, Eric le Morvan

Publication date 13 July 2017

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2015.575

zbMATH Keywords

channelscompositionformal methodsimplementationprotocol

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14) Data encryption (aspects in computer science) (68P25)

Recommendations

• Secure Channels Based on Authenticated Encryption Schemes: A Simple Characterization
• Secure channels and termination: the last word on TLS
• Secure Pseudonymous Channels
• Data is a stream: security of stream-based channels
• scientific article; zbMATH DE number 1722690

Cited in

(12)

• Secure protocols of how communication generates correlation
• Secure implementation of channel abstractions
• Secure channels and termination: the last word on TLS
• Secure Pseudonymous Channels
• Data is a stream: security of stream-based channels
• scientific article; zbMATH DE number 546875 (Why is no real title available?)
• Secure Communicating Systems
• Secure Channels Based on Authenticated Encryption Schemes: A Simple Characterization
• scientific article; zbMATH DE number 1487485 (Why is no real title available?)
• Flexible authenticated and confidential channel establishment (fACCE): analyzing the noise protocol framework
• Strong Separations Between Broadcast and Authenticated Channels
• The Role of Feedback in Two-Way Secure Communications

This page was built for publication: Secure refinements of communication channels

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