scientific article; zbMATH DE number 1394314

MaRDI QIDQ4934730zbMATH OpenFDO

Authors Wenbo Mao, Colin A. Boyd

Publication date 1 February 2000

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 1394297
• scientific article; zbMATH DE number 2080723
• A logic of authentication
• Computational Science and Its Applications – ICCSA 2004
• scientific article; zbMATH DE number 2087350

Cited in

(11)

• Logics for reasoning about cryptographic constructions
• Information based reasoning about security protocols
• Demonstration of the modified CSN-logic
• Logic for verifying public-key cryptographic protocols
• An epistemic foundation for authentication logics (extended abstract)
• A logic of authentication
• scientific article; zbMATH DE number 1962760 (Why is no real title available?)
• All-or-nothing encryption and the package transform
• scientific article; zbMATH DE number 2087350 (Why is no real title available?)
• scientific article; zbMATH DE number 1394297 (Why is no real title available?)
• Computational Science and Its Applications – ICCSA 2004

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 Q4934730)