|
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/64
|
| 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 GYAKORLATI VIZSGÁLATA |
| Utolsó oldal : | - |
| A könyv szerkesztője: | Pethő, Attila
Herdon, Miklós |
| Könyv címe: | Informatika a Felsőoktatásban 2008 |
| Kiadó : | Debreceni Egyetem |
| Kiadás helye: | Debrecen |
| Megjelenés éve /(ideje): | 2008 |
| Oldalszám: | 7 |
| Konferencia címe: | Informatika a Felsőoktatásban 2008 |
| Megrendező szervezet: | Debreceni Egyetem |
| Város: | Debrecen |
| Konferencia típusa: | National |
| Konferencia kezdete: | 27-aug-2008 |
| Konferencia vége: | 29-aug-2008 |
| Nyelv: | hu |
| URI : | http://hdl.handle.net/123456789/64 |
| Kulcsszavak: | multi-channel cryptographic protocol
theorem proving |
| Absztrakt: | Az informatikai eszközök mobilitásának növekedése révén egyre gyakrabban olyan környezetben kell megvalósítani a kriptográfiai primitívekkel kapcsolatos alapfeladatokat, amelyek nem tartalmaznak szerveroldali támogatást. Ezek a követelmények újabb és újabb kriptográfiai protokollok megszületését eredményezik. A megfelelő szintű biztonság elérésére egyre gyakrabban alkalmazzák az eszközök azon lehetőségét is, hogy azok több kommunikációs csatornát is képesek kezelni (vezeték nélküli elérés, manuális adatátvitel, vezetékes kapcsolat, stb.). Az általunk tanulmányozott MANual Authentication Protocol (MANA) főleg vezeték nélküli (wireless) eszközök hitelesítésére lett kialakítva. Ez a hitelesítés egy nem biztonságos vezeték nélküli csatornát egészít ki manuális adatátvitellel (mint második csatorna). Munkánk során a BAN-logikára épülő CSN-logikát bővítettük úgy, hogy az alkalmas legyen a többcsatornás kriptográfiai protokollok vizsgálatára. Eredményeink a következők: formális eszközökkel bebizonyítottuk, hogy a MANA protokollcsalád első tagja (MANA I) a kitűzött célt helyesen valósítja meg. Elemzésünkkel megállapítottuk, hogy a MANA II protokoll az elérni kívánt célnak csak részben felel meg, mivel olyan lépést tartalmaz, aminek gyengeségét kihasználva a két fél azonosító folyamata folyamatosan akadályozható. Végül javaslatot teszünk a feltárt MANA II hiba javítására. |
| Ebben a gyűjteményben: | Matematika Intézet - Konferenciacikkek
|
Minden dokumentum, ami a TEA rendszerben szerepel, szerzői jogokkal védett. Minden jog fenntartva!
|
