scientific article; zbMATH DE number 697830
From MaRDI portal
Publication:4314048
zbMATH Open0809.94020MaRDI QIDQ4314048
Publication date: 4 April 1995
Title of this publication is not available (Why is that?)
Related Items (4)
Modular verification of protocol equivalence in the presence of randomness ⋮ A framework for analyzing probabilistic protocols and its application to the partial secrets exchange ⋮ Probabilistic relational verification for cryptographic implementations ⋮ Probabilistic Termination and Composability of Cryptographic Protocols
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 Q4314048)
