The Additional Examination of the Kudo-Mathuria Time-Release Protocol
| dc.creator | Takács,Péter | |
| dc.date | 2006 | |
| dc.date.accessioned | 2024-02-06T12:54:44Z | |
| dc.date.available | 2024-02-06T12:54:44Z | |
| dc.description | 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 baseprotocol and prove four new properties. We prove that the third trusted partner can not read the message of the sender until a predetermined time. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-012-09-1373 | |
| dc.identifier | https://lib.jucs.org/article/28684/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9139 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 12(9): 1373-1384 | |
| dc.subject | time-release cryptography | |
| dc.subject | time capsule | |
| dc.subject | Kudo-Mathuria protocol | |
| dc.subject | formal verification of cryptographic protocols | |
| dc.title | The Additional Examination of the Kudo-Mathuria Time-Release Protocol | |
| dc.type | Research Article |