Cross-tool semantics for protocol security goals

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

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

Publication date: 26 October 2018

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

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (1)

• Update semantics of security protocols

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)