Abstract-I detta dokument undersöker vi säkerheten och integriteten av de tre kritiska förfaranden i 4G LTE-protokollet (dvs., bifoga, detach, och personsökning), och i processen, avslöja potentiella konstruktionsbrister i protokollet och osäkra metoder som används av intressenterna. För att exponera sårbarheter föreslår vi en modellbaserad testmetod LTEInspector som lazily kombinerar en symbolisk modellkontroll och en kryptografisk protokollkontrollant i den symboliska angriparmodellen. Med hjälp av LTEInspector har vi upptäckt 10 nya attacker tillsammans med 9 tidigare attacker, kategoriserade i tre abstrakta klasser (dvs. säkerhet, användarintegritet, och avbrott i tjänsten), i de tre förfarandena av 4G LTE. Bland våra upptäckter märks autentiseringsreläattacken som gör det möjligt för en motståndare att spoof platsen för en legitim användare till stomnätet utan att ha lämpliga referenser. För att se till att de exponerade attackerna utgör verkliga hot och verkligen kan förverkligas i praktiken har vi validerat 8 av de tio nya attackerna och deras åtföljande kontradiktoriska antaganden genom experiment i en verklig testbädd.
föreslog ett systematiskt tillvägagångssätt för att avslöja 10 nya attacker mot LTE säkerhet, integritet och tillgänglighet och validerade de flesta av dem REF.
LTEInspector: A Systematic Approach for Adversarial Testing of 4G LTE
{'venue': 'NDSS', 'journal': None, 'mag_field_of_study': ['Computer Science']}