Cross-tool semantics for protocol security goals

DOI10.1007/978-3-319-49100-4_2zbMATH Open1398.94120OpenAlexW2546523527MaRDI QIDQ1801034FDOQ1801034

Authors: Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe 

Publication date: 26 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-49100-4_2

Recommendations

• Security goals and protocol transformations
• Cryptographic Protocol Composition via the Authentication Tests
• Comparing State Spaces in Automatic Security Protocol Analysis
• Automated verification of selected equivalences for security protocols
• Extending security protocol analysis: new challenges

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (2)

• Update semantics of security protocols
• Security goals and protocol transformations

This page was built for publication: Cross-tool semantics for protocol security goals

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