Secure composition of protocols

DOI10.1007/978-3-642-27375-9_2MaRDI QIDQ2902913zbMATH OpenOpenAlexFDO

Authors Véronique Cortier

Publication date 22 August 2012

Published in Theory of Security and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-27375-9_2

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Recommendations

• Safely Composing Security Protocols
• Safely composing security protocols
• Secure protocol composition
• Dynamic tags for security protocols
• Secure composition of cryptographic protocols. (Abstract)

Cited in

(9)

• Secure protocol composition
• On the Automated Correction of Protocols with Improper Message Encoding
• Safely composing security protocols
• Transforming password protocols to compose
• scientific article; zbMATH DE number 5225572 (Why is no real title available?)
• Sound Security Protocol Transformations
• On the secure implementation of security protocols
• Safely Composing Security Protocols
• Stateful protocol composition

This page was built for publication: Secure composition of protocols

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