Formal verification of LTE-UMTS and LTE-LTE handover procedures

Tipo di pubblicazione: Articolo su rivista
Tipologia MIUR: Contributo su Rivista > Articolo in rivista
Titolo: Formal verification of LTE-UMTS and LTE-LTE handover procedures
Autori: Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana
Autori di ateneo:
Titolo del periodico: COMPUTER STANDARDS & INTERFACES
Tipo di referee: Esperti anonimi
Editore: Elsevier
Volume: 50
Intervallo pagine: pp. 92-106
Numero di pagine: 15
ISSN: 0920-5489
Abstract: Abstract Long Term Evolution (LTE) is the most recent standard in mobile communications, introduced by 3rd Generation Partnership Project (3GPP). Most of the works in literature about LTE security analyze authentication procedures, while handover procedures are far less considered. This paper focuses on the procedures that are activated when a mobile device moves between different LTE cells and between LTE and the older Universal Mobile Telecommunications System (UMTS) networks and completes previous results with a deeper formal analysis of these procedures. The analysis shows that security properties (secrecy of keys, including backward/forward secrecy, immunity from off-line guessing attacks, and network components authentication) hold almost as expected in nominal conditions, i.e. when all backhaul links are secured and all backhaul nodes are trusted. The paper also analyses how these security properties are affected by possible anomalous situations, such as a compromised backhaul node or a misconfiguration by which a backhaul link becomes not protected and can be accessed by an attacker. The analysis shows that some security properties hold even in these adverse cases while other properties are compromised.
Data: 2017
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: handover, lte, umts, security, formal verification, proverif, handover, lte, umts, security, formal verification, proverif
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Data di deposito: 16 Dic 2016 18:28
Data ultima modifica (IRIS): 16 Mag 2017 09:08:05
Data inserimento (PORTO): 26 Mag 2017 00:55
Numero Identificativo (DOI): http://dx.doi.org/10.1016/j.csi.2016.08.009
Permalink: http://porto.polito.it/id/eprint/2659528
Link resolver URL: Link resolver link
Citazioni:

Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

  • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
  • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
  • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

Per informazioni o segnalazioni contattare scrivia/porto

+
-

Allegati

[img] PDF (paper.pdf) - Postprint
Accesso al documento: Visibile (Ad accesso aperto) non prima del 25 Settembre 2018 (data di embargo).
Licenza: Creative Commons Attribution Non-commercial No Derivatives.

Download (1462Kb (1497502 bytes)) | Spedisci una richiesta all'autore per una copia del documento
[img] PDF (1_s2.0_S092054891630071X_main.pdf) - Postprint
Accesso al documento: Non visibile (accessibile solo al proprietario del dato)
Licenza: Non pubblico - Accesso privato / Ristretto.

Download (2345Kb (2402020 bytes)) | Spedisci una richiesta all'autore per una copia del documento

Azioni (richiesto il login)

Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)