Abstrakt. Routing protokoll syftar till att upprätta en rutt mellan noder på ett nätverk. Säkrade versioner av routingprotokoll har föreslagits för att ge fler garantier på de resulterande rutterna. Formella metoder har visat sig användbara vid analys av standardsäkerhetsprotokoll såsom sekretess- eller autentiseringsprotokoll. Befintliga resultat och verktyg gäller dock inte routingprotokoll. Detta beror särskilt på att alla möjliga topologier (oändligt många) måste beaktas. I detta dokument föreslår vi ett enkelt minskningsresultat: när vi letar efter angrepp på egenskaper som giltigheten av rutten, är det tillräckligt att överväga topologier med bara fyra noder, vilket resulterar i ett antal bara fem distinkta topologier att ta hänsyn till. Som applikation analyserar vi det SRP som tillämpas på DSR och SDMSR-protokollen med hjälp av ProVerif-verktyget.
Vårt arbete följer andan i REF där det har visat sig att endast fem topologier behöver beaktas när man letar efter attacker på fastigheter som rutt giltighet enligt kooperativ modell.
Analysing routing protocols: four nodes topologies are sufficient
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}