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

Cryptography (94A60) Network protocols (68M12)

Recommendations

• Sound Security Protocol Transformations
• Cross-tool semantics for protocol security goals
• Cryptographic Protocol Composition via the Authentication Tests
• Transformations between Cryptographic Protocols
• scientific article; zbMATH DE number 1884407

Cited in

(6)

• scientific article; zbMATH DE number 1884407 (Why is no real title available?)
• Cross-tool semantics for protocol security goals
• Sound Security Protocol Transformations
• Transformations between Cryptographic Protocols
• Scalable agreement protocols with optimal optimistic efficiency
• Cryptographic Protocol Composition via the Authentication Tests

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)