Magyar
Toggle navigation
Tudóstér
Magyar
Tudóstér
Keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Egyszerű keresés
Összetett keresés
CCL keresés
Böngészés
Saját polc tartalma
(
0
)
Korábbi keresések
Összesen 1 találat.
#/oldal:
12
36
60
120
Rövid
Hosszú
MARC
Részletezés:
Rendezés:
Szerző növekvő
Szerző csökkenő
Cím növekvő
Cím csökkenő
Dátum növekvő
Dátum csökkenő
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ó:
Saját polcon:
Rekordok letöltése
1
Corvina könyvtári katalógus v8.2.27
© 2023
Monguz kft.
Minden jog fenntartva.