Security goals and protocol transformations

DOI10.1007/978-3-642-27375-9_8MaRDI QIDQ2902923zbMATH OpenOpenAlexFDO

Authors Joshua D. Guttman

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_8

Mathematics Subject Classification ID

Network protocols (68M12) Cryptography (94A60)

Recommendations

• Sound Security Protocol Transformations
• Cross-tool semantics for protocol security goals
• Cryptographic Protocol Composition via the Authentication Tests
• Transformations between Cryptographic Protocols
• Security goals: Packet trajectories aand strand spaces

Cited in

(6)

• Cross-tool semantics for protocol security goals
• Transformations between Cryptographic Protocols
• Cryptographic Protocol Composition via the Authentication Tests
• Security goals: Packet trajectories aand strand spaces
• Sound Security Protocol Transformations
• Scalable agreement protocols with optimal optimistic efficiency

This page was built for publication: Security goals and protocol transformations

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