Abstract-Efter flera år av teoretisk forskning om distansbindning protokoll, de första implementeringarna av sådana protokoll har nyligen börjat dyka upp. Dessa protokoll analyseras vanligtvis med avseende på tre typer av attacker, som historiskt kallas distansbedrägerier, maffiabedrägerier och terroristbedrägerier. Vi definierar och analyserar en fjärde typ av attack på avståndsbegränsning protokoll, kallas distans kapning. Denna typ av angrepp utgör ett allvarligt hot i många praktiska scenarier. Vi visar att många föreslagna protokoll för avståndsbegränsning är sårbara för distanskapning, och vi föreslår lösningar för att göra dessa protokoll motståndskraftiga mot denna typ av angrepp. Vi visar att kontroll av avståndsbegränsning protokoll med hjälp av befintliga informella och formella ramar inte garanterar frånvaron av distans kapning attacker. Vi utvidgar en formell ram för resonemang om avståndsbegränsning protokoll till att omfatta överskuggande attacker. Vi använder den resulterande ramen för att bevisa frånvaron av alla upptäckta attacker för protokoll som våra motåtgärder har tillämpats på.
Ett exempel på denna begränsning är den nyligen upptäckta distanskapning attack scenario REF, som skiljer sig från de traditionella distansbedrägerier, maffia bedrägeri, och terroristbedrägerier.
Distance Hijacking Attacks on Distance Bounding Protocols
{'venue': '2012 IEEE Symposium on Security and Privacy', 'journal': '2012 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}