Formal Verification of LTE-UMTS Handover Procedures

Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: Formal Verification of LTE-UMTS Handover Procedures
Autori: Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana
Autori di ateneo:
Intervallo pagine: pp. 738-744
Tipo di referee: Esperti anonimi
Editore: IEEE
ISBN: 978-1-4673-7194-0
Volume: Proceedings of 2015 IEEE Symposium on Computers and Communication (ISCC)
Titolo del convegno: 20th IEEE Symposium on Computers and Communications (ISCC)
Luogo dell'evento: Larnaca, Cyprus
Data dell'evento: 6-9 July 2015
Luogo di pubblicazione: New York
Abstract: Long Term Evolution (LTE) is the most recent standard in mobile communications, introduced by 3rd Generation Partnership Project (3GPP). Most of the formal security analysis works in literature about LTE analyze authentication procedures, while interoperability is far less considered. This paper presents a formal security analysis of the interoperability procedures between LTE and the older Universal Mobile Telecommunications System (UMTS) networks, when mobile devices seamlessly switch between the two technologies. The Proverif tool has been used to conduct the verification. 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, if all the protections allowed by the LTE standard are adopted. If backhauling traffic is not protected with IPSec, which is a common scenario since the use of IPSec is not mandatory, some security properties still hold while others are compromised. Consequently, user's traffic and network's nodes are exposed to attacks in this scenario
Data: 2015
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: formal verification, lte, umts proverif, handover, security
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: 08 Set 2016 18:05
Data ultima modifica (IRIS): 19 Set 2016 14:14:58
Data inserimento (PORTO): 23 Set 2016 15:01
Numero Identificativo (DOI): 10.1109/ISCC.2015.7405602
Permalink: http://porto.polito.it/id/eprint/2621605
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 (07405602.pdf) - Postprint
Accesso al documento: Non visibile (accessibile solo al proprietario del dato)
Licenza: Non pubblico - Accesso privato / Ristretto.

Download (174Kb (178999 bytes)) | Spedisci una richiesta all'autore per una copia del documento
[img]
Preview
PDF (1570084757_author_postprint.pdf) - Postprint
Accesso al documento: Visibile (Ad accesso aperto)
Licenza: Pubblico - Tutti i diritti riservati.

Download (376Kb (385197 bytes)) | Preview

Azioni (richiesto il login)

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

Statistiche sul Download degli allegati

Altre statistiche su questa pubblicazione...