An Extended Logic for Analyzing Timed-Release Public-Key Protocols

• Authors:

• Michiharu Kudo;Anish Mathuria

• Affiliations:

• -;-

• Venue:
• ICICS '99 Proceedings of the Second International Conference on Information and Communication Security
• Year:
• 1999