Formal Analysis of Key Management in mobile Wimax - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Formal Analysis of Key Management in mobile Wimax

Noudjoud Kahya
  • Fonction : Auteur
Nacira Ghoualmi
  • Fonction : Auteur
Roumaissa Khelf
  • Fonction : Auteur

Résumé

The Mobile WiMAX IEEE 802.16e is a new technology supporting broadband wireless communication with fixed and mobile access. The standard offers high throughput broadband connections, supporting handover and roaming capabilities, and provides a security sub layer, which is responsible for secrecy, authentication and secure key exchange. In the area of security aspects, Mobile WiMAX exhibits vulnerabilities while adopting improved security architecture. Several versions of 802.16 networks were released. While the first versions have shown some security weaknesses that were later corrected by the recently released versions, the security mechanisms of 802.16 still remain vulnerable and the limited deployment of such technology is insufficient to satisfy the demands of security. This paper focuses on reducing the security vulnerabilities in the authorization protocol PKM and the generation of traffic encryption keys (TEKs). We propose the usage of 1. A formal analysis of the PKM protocol (authorization phase and exchange of TEKs phase) and 2.Device certificate for key exchange process to provide secure authentication and 3. Give a formal analysis of our new PKM protocol (authorization phase and exchange of TEKs phase). The formal analysis has been conducted using a specialized model checker Scyther, which provides formal proofs of the security protocol. The revised authentication protocol is expected to provide better secure platform for all process of PKM.
Fichier principal
Vignette du fichier
PAIS-2016.pdf (482.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01964502 , version 1 (22-12-2018)

Identifiants

  • HAL Id : hal-01964502 , version 1

Citer

Noudjoud Kahya, Nacira Ghoualmi, Pascal Lafourcade, Roumaissa Khelf. Formal Analysis of Key Management in mobile Wimax. The 2nd International Conference on Pattern Analysis and Intelligent Systems (IEEE) PAIS'16, 2016, Khenchela, Algeria. ⟨hal-01964502⟩
87 Consultations
81 Téléchargements

Partager

Gmail Facebook X LinkedIn More