The Additional Examination of the Kudo-Mathuria Time-Release Protocol
|
|
|
|
|
|
|
|
نویسنده
|
Takacs Peter
|
|
منبع
|
journal of universal computer science - 2006 - دوره : 12 - شماره : 9 - صفحه:1373 -1384
|
|
چکیده
|
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.
|
|
کلیدواژه
|
time-release cryptography ,time capsule ,Kudo-Mathuria protocol ,formal verification of cryptographic protocols
|
|
آدرس
|
University Debrecen, Health College, Hungary
|
|
پست الکترونیکی
|
vtp@de-efk.hu
|
|
|
|
|
|
|