|
Nyíregyházi Egyetem Tudományos Elektronikus Adattár >
Természettudományi és Informatikai Kar >
Matematika és Informatika Intézet >
Matematika Intézet - Konferenciacikkek >
Ezzel az azonosítóval hivatkozhat erre a dokumentumra forrásmegjelölésben vagy hiperhivatkozás esetén:
https://tea.nye.hu/handle/123456789/60
|
| Besorolás: | Paper of lecture or poster |
| Jelleg: | Scientific |
| Szerzők: | Vályi, Sándor
Takács, Péter |
| Cím: | Többcsatornás kriptográfiai protokollok vizsgálata a bővített CSN-logika eszközeivel |
| Utolsó oldal : | - |
| A könyv szerkesztője: | Nagy, Péter |
| Könyv címe: | Magyar Tudományos Akadémia Szabolcs-Szatmár-Bereg Megyei Tudományos Testületének és a Magyar Professzorok Világtanácsának XVI. évi közgyűléssel egybekötött tudományos ülése. Nyíregyháza, 2007 |
| Kiadó : | MTA Szabolcs-Szatmár-Bereg Megyei Tudományos Testülete |
| Kiadás helye: | Nyíregyháza |
| Megjelenés éve /(ideje): | 2007 |
| Konferencia címe: | Magyar Tudományos Akadémia Szabolcs-Szatmár-Bereg Megyei Tudományos Testületének és a Magyar Professzorok Világtanácsának XVI. évi közgyűléssel egybekötött tudományos ülésének kiadványa. Nyíregyháza, 2007 |
| Megrendező szervezet: | MTA Szabolcs-Szatmár-Bereg Megyei Tudományos Testülete |
| Város: | Nyíregyháza |
| Konferencia típusa: | National |
| Konferencia kezdete: | 2007 |
| Konferencia vége: | 2007 |
| Nyelv: | hu |
| URI : | http://hdl.handle.net/123456789/60 |
| Kulcsszavak: | multi-channel cryptographic protocol
theorem proving |
| Absztrakt: | Munkánk során a Coffey-Saidha-Newe-féle (a továbbiakban: CSN) logikai rendszert bővítettük a kommunikációs csatornák leírásának és kezelésének lehetőségeivel. Az új rendszert már ismert és gyakorlatban is alkalmazott többcsatornás kriptográfiai protokollok biztonsági elemzésére használtuk fel. Jelen írásban részletesebben a MANA III protokoll elemzését mutatjuk be. |
| Ebben a gyűjteményben: | Matematika Intézet - Konferenciacikkek
|
Minden dokumentum, ami a TEA rendszerben szerepel, szerzői jogokkal védett. Minden jog fenntartva!
|
