Kriptográfiai protokollok a formális vizsgálata a CSN logikai rendszer bővítésével
dc.contributor.advisor | Pethő, Attila | |
dc.contributor.author | Takács, Péter | |
dc.contributor.department | Informatikai tudományok doktori iskola | hu |
dc.date.accessioned | 2010-06-25T07:46:16Z | |
dc.date.available | 2010-06-25T07:46:16Z | |
dc.date.created | 2009 | hu_HU |
dc.date.defended | 2010-05-25 | |
dc.description.abstract | - | hu_HU |
dc.format.extent | 200 | hu_HU |
dc.identifier.uri | http://hdl.handle.net/2437/97381 | |
dc.language.iso | hu | hu_HU |
dc.subject | kriptográfiai protokollok | hu_HU |
dc.subject | cryptographic protocols | hu_HU |
dc.subject | CSN logikai rendszer | hu_HU |
dc.subject | CSN-logic | hu_HU |
dc.subject.discipline | Informatikai tudományok | hu |
dc.subject.sciencefield | Műszaki tudományok | hu |
dc.title | Kriptográfiai protokollok a formális vizsgálata a CSN logikai rendszer bővítésével | hu_HU |
dc.title.translated | Formal examination of cryptographic protocols with the extended CSN-logic | hu_HU |
Fájlok
Eredeti köteg (ORIGINAL bundle)
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