Deciding cryptographic protocol adequacy with HOL: the implementation

DOI10.1007/BFB0105397zbMATH Open1541.68427MaRDI QIDQ6567704FDOQ6567704

Authors: Stephen H. Brackin 

Publication date: 5 July 2024

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)