Proof of soundness (integrity) of cryptographic protocols

DOI10.1007/BF00197941zbMATH Open0845.94010MaRDI QIDQ1330133FDOQ1330133

Authors: Gustavus J. Simmons 

Publication date: 17 August 1994

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

Recommendations

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

zbMATH Keywords

cryptographyprotocolsprotocol failures

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

• Title not available (Why is that?)
• 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)