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

• Authors:

• Marie-Jeanne Toussaint

• Affiliations:

• -

• Venue:
• ASIACRYPT '91 Proceedings of the International Conference on the Theory and Applications of Cryptology: Advances in Cryptology
• Year:
• 1991