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

Fájlok

Elsődleges 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

Authors

Takács, Péter

Kulcsszavak

kriptográfiai protokollok , cryptographic protocols , CSN logikai rendszer , CSN-logic

Hivatkozás

http://hdl.handle.net/2437/97381

Gyűjtemények

Informatikai Tudományok Doktori Iskola

A tétel részletes nézete