Formal verification and analysis of 5G AKA protocol using mixed strand space model
Autores: Xiao, Yuelei; Gao, Shan
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Formal verification and analysis of 5G AKA protocol using mixed strand space model
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Autenticación
Gestión de claves
3gpp
Vulnerabilidades
Seguridad
Protocolo
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 28
Citaciones: Sin citaciones
La quinta generación de tecnología de comunicación móvil (5G) protocolo de autenticación y gestión de claves (AKA) especificado por el proyecto de asociación de tercera generación (3GPP) incluye tres casos porque introduce procedimientos de fallo de sincronización y fallo de código de autenticación de mensaje (MAC).
Descripción
La quinta generación de tecnología de comunicación móvil (5G) protocolo de autenticación y gestión de claves (AKA) especificado por el proyecto de asociación de tercera generación (3GPP) incluye tres casos porque introduce procedimientos de fallo de sincronización y fallo de código de autenticación de mensaje (MAC).