Vi föreslår en formell ram för säkerhetsanalys av routingprotokoll på begäran för trådlösa ad hoc-nätverk. Vår strategi bygger på det välkända simuleringsparadigm som har föreslagits för att bevisa säkerheten för kryptografiska protokoll. Vårt huvudsakliga bidrag är tillämpningen av det simuleringsbaserade tillvägagångssättet i samband med ad hoc-routing. Detta innebär en exakt definition av en verklig modell, som beskriver den verkliga driften av protokollet, och en ideal-världsmodell, som fångar vad protokollet vill uppnå när det gäller säkerhet. Båda modellerna tar hänsyn till särdragen hos trådlös kommunikation och ad hoc routing. Sedan ger vi en formell definition av routing säkerhet när det gäller de två modellernas oskiljaktighet ur hederliga parters synvinkel. Vi visar nyttan av vårt tillvägagångssätt genom att analysera två "säkra" ad hoc routing protokoll, SRP och Ariadne. Denna analys leder till upptäckt av ännu okända attacker mot båda protokollen. Slutligen föreslår vi ett nytt ad hoc routingprotokoll och bevisar att det är säkert i vår modell.
Ett nyare arbete REF, transkriberar en simuleringsteknik som tidigare använts för att bevisa säkerheten för kryptografiska protokoll: verkliga och ideala systemmodeller, tillsammans med två modeller för motståndaren, en för varje system, måste definieras.
Towards provable security for ad hoc routing protocols
{'venue': "SASN '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}