Sécurisation des futures communications aéronautiques de données

Addressing Security Challenges in Emerging Data-based Aeronautical Communications

• Auteur / Autrice : Mohamed Slim Ben Mahmoud
• Direction : Alain Pirovano, Nicolas Larrieu
• Type : Thèse de doctorat
• Discipline(s) : Systèmes Informatiques
• Date : Soutenance le 17/02/2012
• Etablissement(s) : Toulouse, INSA
• Ecole(s) doctorale(s) : École doctorale Systèmes (Toulouse ; 1999-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'optimisation des architectures des réseaux de télécommunications LEOPART (Toulouse)
• Jury : Président / Présidente : Thierry Gayraud
• Jury : Examinateurs / Examinatrices : Alain Pirovano, Nicolas Larrieu, Pascal Urien
• Jury : Rapporteur / Rapporteuse : Haitham Cruickshank, Ernesto Damiani

Mots clés

Mots clés contrôlés

Systèmes informatiques -- Mesures de sûreté

Sécurité des systèmes

Aéronautique -- Systèmes de communication

Mots clés libres

Sécurité

Réseau

Communications Aéronautiques

Risque

Satellite

PKI

Security

Network

Datalink Communications

Risk

Satellite

PKI

Résumé

Ce travail de thèse s'intéresse à la sécurité des futures communications aéronautiques de donnée. Le travail est divisé en trois grandes parties. La première contribution est une architecture de sécurité adaptative pour les communications aéronautiques intégrant un segment sol-bord par satellite. Un module de gestion de la sécurité a été conçu, développé, puis validé lors de la phase finale d'intégration du projet FAST (Fibre-like Aircraft Satellite Communications). La deuxième contribution est une méthodologie quantitative d'estimation du risque lié à la sécurité réseau. L'originalité de notre approche est d'être basée sur la notion de propagation du risque au sein des différents noeuds du réseau. Commecas d'étude, un réseau de communication aéroportuaire utilisant le protocole AeroMACS a été étudié dans le cadre du projet SESAR (Single European Sky ATM Research). La troisième contribution est une infrastructure à clés publiques (PKI) qui permet d'optimiser les échanges de signalisation (échanges de clés, certificats, vérification des signatures) entre l'avion et l'autorité de certification au sol. Le modèle de PKI proposé est un modèle hiérarchique utilisant la certification croisée entre les autorités de certification mères

This research work deals with the information and network security in the aeronautical communication domain. Three fundamental research axes are explored. First, a quantitative network security risk assessment methodology is proposed. Our approach is based on the risk propagation within the network nodes. As study cases, the algorithm has been validated in the scope of the European industrial project entitled SESAR (Single European Sky ATM Research) and the Aerospace Valley FAST (Fibrelike Aircraft Satellite Communications). Particularly, experimental results relative to the case study devoted to the FAST project shown that the global network risk in the non secured system architecture is relatively high, meaning the system needs more consideration from a security point of view. To cope with this issue, an adaptive security management framework for a satellite-based aeronauticalcommunication architecture has been proposed as a second contribution. A security manager module has been designed, implemented, then tested in the scope of the FAST project. Finally, as the security primitives used in the adaptive security management framework need to be efficiently exchanged, the last contribution consists in a scalable PKI adapted for the upcoming network-enabled aircraft. The idea is to minimize the air-ground additional overhead induced by the security procedures (keys, digital certificates, revocation/verification procedures). The PKI model we propose is a cross-certified multirooted hierarchical model