Title of article
The Additional Examination of the Kudo-Mathuria Time-Release Protocol
Author/Authors
Takacs, Peter University Debrecen - Health College, Hungary
From page
1373
To page
1384
Abstract
The purpose of the present paper is to give an expansion of the results of Michiharu Kudo and Anish Mathuria. We present the base-protocol and formulate three properties of the protocol with modal logic tools. After that we expand the base- protocol and prove four new properties. We prove that the third trusted partner can not read the message of the sender until a predetermined time.
Keywords
time , release cryptography , time capsule , Kudo , Mathuria protocol , formal verification of cryptographic protocols
Journal title
Journal of J.UCS (Journal of Universal Computer Science)
Journal title
Journal of J.UCS (Journal of Universal Computer Science)
Record number
2660529
Link To Document