The practice of cryptographic protocol verification

DOI10.1016/S1571-0661(04)00241-5zbMATH Open1268.94031OpenAlexW2037712075MaRDI QIDQ2841213

Michaël Rusinowitch

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00241-5

zbMATH Keywords

verificationcomplexitycryptographic protocolsCASRULnon-atomic keys

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (4)

Shared verification cryptography domains: Security in computers ⋮ Verification of cryptographic protocols: tagging enforces termination ⋮ Proof techniques for cryptographic processes ⋮ Title not available (Why is that?)

This page was built for publication: The practice of cryptographic protocol verification

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