scientific article; zbMATH DE number 2185684

MaRDI QIDQ3024864zbMATH OpenFDO

Authors Stephen H. Brackin

Publication date 4 July 2005

Mathematics Subject Classification ID

Cryptography (94A60)

Cited in

(1)

• Deciding cryptographic protocol adequacy with HOL: the implementation

Describes a project that uses

Uses Software

• HOL

This page was built for publication:

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