Secure composition of protocols

DOI10.1007/978-3-642-27375-9_2zbMATH Open1378.94032OpenAlexW1455714406MaRDI QIDQ2902913FDOQ2902913

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

Recommendations

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

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Cited In (8)

• On the secure implementation of security protocols
• Title not available (Why is that?)
• Safely composing security protocols
• Safely Composing Security Protocols
• Stateful protocol composition
• Sound Security Protocol Transformations
• On the Automated Correction of Protocols with Improper Message Encoding
• Transforming password protocols to compose

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)