Increasing the Resilience of ATC systems against False Data Injection Attacks using DSL-based Testing
| Autor: | Cretin, Aymeric, Legeard, Bruno, Peureux, Fabien, Vernotte, Alexandre |
|---|---|
| Přispěvatelé: | Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA] ComputerApplications_COMPUTERSINOTHERSYSTEMS [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET] [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation |
| Zdroj: | International Conference on Research in Air Transportation International Conference on Research in Air Transportation, Jun 2018, Castelldefels, Spain |
| Popis: | International audience; Within aircraft communication, due to the unauthentication and unencryption of the Automatic Dependent Surveillance-Broadcast (ADS-B) protocol, eavesdropping and broadcasting fake ADS-B messages is straightforward. As a consequence, attackers can perform False Data Injection Attacks (FDIA) on the ADS-B system, such as ghost aircraft injection or flooding, leading to unexpected but potentially devastating consequences. To increase the resilience of Air Traffic Control (ATC) systems against such attacks, this paper presents a framework under development that aims to generate FDIA-based test scenarios, which can be used as test cases to evaluate and improve the robustness of ATC systems. This test generation framework uses a Domain Specific Language (DSL) to specify FDIA-based test strategies in order to falsify legitimate ADS-B recordings. Such generated altered ADS-B recordings are finally executed on ATC systems to evaluate its resilience against FDIA. The paper details this process and introduces early results and future work. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|