Proof of soundness (integrity) of cryptographic protocols
From MaRDI portal
Publication:1330133
DOI10.1007/BF00197941zbMath0845.94010MaRDI QIDQ1330133
Publication date: 17 August 1994
Published in: Journal of Cryptology (Search for Journal in Brave)
Related Items (1)
Cites Work
This page was built for publication: Proof of soundness (integrity) of cryptographic protocols