Deciding cryptographic protocol adequacy with HOL: the implementation

DOI10.1007/BFB0105397MaRDI QIDQ6567704zbMATH OpenFDO

Authors Stephen H. Brackin

Publication date 5 July 2024

Full work available at URL https://doi.org/10.1007/BFB0105397

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20) Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 2086169
• scientific article; zbMATH DE number 1405638
• Automatic verification of cryptographic protocols with SETHEO
• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 4053510

This page was built for publication: Deciding cryptographic protocol adequacy with HOL: the implementation

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