Proof of soundness (integrity) of cryptographic protocols

DOI10.1007/BF00197941MaRDI QIDQ1330133zbMATH OpenFDO

Authors Gustavus J. Simmons

Publication date 17 August 1994

Published in Journal of Cryptology (Search for Journal in Brave)

zbMATH Keywords

cryptographyprotocolsprotocol failures

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 1024091
• scientific article; zbMATH DE number 3965967
• Publication:4938617

Cites work

• scientific article; zbMATH DE number 3991413 (Why is no real title available?)
• A cubic RSA code equivalent to factorization

Cited in

(2)

• A proof of protocol correctness
• A collusion problem and its solution

This page was built for publication: Proof of soundness (integrity) of cryptographic protocols

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