English
Magyar
Bejelentkezés
Központi bejelentkeztetés
Kérjük bejelentkezéshez használja az egyetemi hálózati azonosítóját és jelszavát (eduID)!
Kategóriák és gyűjtemények
Böngészés
Statisztika
English
Magyar
Bejelentkezés
Központi bejelentkeztetés
Kérjük bejelentkezéshez használja az egyetemi hálózati azonosítóját és jelszavát (eduID)!
Digitális könyvtár
Hallgatói dolgozatok
PhD dolgozatok
Publikációk
Főoldal
PhD dolgozatok
Informatikai Tudományok Doktori Iskola
Kriptográfiai protokollok a formális vizsgálata a CSN logikai rendszer bővítésével
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
2009
Szerzők
Takács, Péter
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Informatikai tudományok
,
Műszaki tudományok
Jogtulajdonos
URL
Jelzet
Egyéb azonosító
Forrás
Támogatás
Hivatkozás
http://hdl.handle.net/2437/97381
Gyűjtemények
Informatikai Tudományok Doktori Iskola
A tétel részletes nézete