Kriptográfiai protokollok a formális vizsgálata a CSN logikai rendszer bővítésével

Fájlok
Az értekezés magyarul - Nem hozzáférhető(954.43 KB)
A tézisek magyarul és angolul - Nem hozzáférhető(163.25 KB)
Az értekezés magyarul(1 MB)
A tézisek magyarul és angolul(163.29 KB)
Dátum
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
kriptográfiai protokollok, cryptographic protocols, CSN logikai rendszer, CSN-logic
Forrás
Hivatkozás
http://hdl.handle.net/2437/97381
Gyűjtemények
Informatikai Tudományok Doktori Iskola