International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract)

Authors:
Marie-Jeanne Toussaint
Download:
DOI: 10.1007/3-540-57332-1_35
Search ePrint
Search Google
Conference: ASIACRYPT 1991
BibTeX
@inproceedings{asiacrypt-1991-529,
  title={Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract)},
  booktitle={Advances in Cryptology - ASIACRYPT '91, International Conference on the Theory and Applications of Cryptology, Fujiyoshida, Japan, November 11-14, 1991, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={739},
  pages={412-426},
  doi={10.1007/3-540-57332-1_35},
  author={Marie-Jeanne Toussaint},
  year=1991
}