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

dc.contributor.advisorPethő, Attila
dc.contributor.authorTakács, Péter
dc.contributor.departmentInformatikai tudományok doktori iskolahu
dc.date.accessioned2010-06-25T07:46:16Z
dc.date.available2010-06-25T07:46:16Z
dc.date.created2009hu_HU
dc.date.defended2010-05-25
dc.description.abstract-hu_HU
dc.format.extent200hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/97381
dc.language.isohuhu_HU
dc.subjectkriptográfiai protokollokhu_HU
dc.subjectcryptographic protocolshu_HU
dc.subjectCSN logikai rendszerhu_HU
dc.subjectCSN-logichu_HU
dc.subject.disciplineInformatikai tudományokhu
dc.subject.sciencefieldMűszaki tudományokhu
dc.titleKriptográfiai protokollok a formális vizsgálata a CSN logikai rendszer bővítésévelhu_HU
dc.title.translatedFormal examination of cryptographic protocols with the extended CSN-logichu_HU
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 4 (Összesen 4)
Nincs kép
Név:
PhD_09.pdf
Méret:
954.43 KB
Formátum:
Adobe Portable Document Format
Leírás:
Az értekezés magyarul - Nem hozzáférhető
Nincs kép
Név:
PhD_tezisek_Takacs_Peter.pdf
Méret:
163.25 KB
Formátum:
Adobe Portable Document Format
Leírás:
A tézisek magyarul és angolul - Nem hozzáférhető
Nincs kép
Név:
ertekezes.pdf
Méret:
1 MB
Formátum:
Adobe Portable Document Format
Leírás:
Az értekezés magyarul
Nincs kép
Név:
tezisek.pdf
Méret:
163.29 KB
Formátum:
Adobe Portable Document Format
Leírás:
A tézisek magyarul és angolul