CCL

Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM006094
Első szerző:Takács Péter (informatikus)
Cím:The additional examination of the Kudo-Mathuria Time-Release protocol / P. Takács
Dátum:2006
Megjegyzések: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.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Kudo-Mathuria protocol
formal verification of cryptographic protocols
time capsule
time-release cryptography
Megjelenés:Journal of Universal Computer Science. - 12 : 9 (2006), p. 1373-1384. -
Internet cím:elektronikus változat
DOI
elektronikus változat
Borító:
Rekordok letöltése1