Deciding cryptographic protocol adequacy with HOL: the implementation

DOI10.1007/BFB0105397zbMATH Open1541.68427MaRDI QIDQ6567704FDOQ6567704

Authors: Stephen H. Brackin 

Publication date: 5 July 2024

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)

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)