The Additional Examination of the Kudo-Mathuria Time-Release Protocol

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.