Ács Gergely, Buttyán Levente, Vajda István
Ad hoc útvonalválasztó protokollok biztonsága
A cikkben egy olyan formális módszert mutatunk be, amellyel az ad hoc hálózatok számára javasolt, igény szerinti, forrásalapú útvonalválasztó protokollokat (on-demand source routing) lehet biztonsági szempontból elemezni. A módszer alapját a szimulációs paradigma adja, mely egy jól ismert, általános eljárás kriptográfiai protokollok biztonságának bizonyítására. Formálisan megfogalmazzuk, hogy mit értünk biztonságos útvonalválasztás alatt, melyhez felhasználjuk a statisztikai megkülönböztethetetlenség fogalmát. A gyakorlati alkalmazást egy példán keresztül szemléltetjük, melyben ismertetjük az endairA útvonalválasztó protokoll mûködését, és bebizonyítjuk, hogy a protokoll biztonságos az általunk definiált modellben.