Abstract
Communication systems in aviation tend to focus on safety rather than security. Protocols such as ADS-B are known to use plain-text, unauthenticated messages and thus are open to various attacks. Controller-Pilot Data Communication Link is no exception and was shown vulnerable also in practice. In this paper, we propose a cryptographic mechanism to provide secure mobility for CPDLC that can enable data encryption and authentication. The protocol is formally verified with the Proverif tool. We also estimate the byte overhead in CPDLC use.
| Original language | English |
|---|---|
| Title of host publication | 2021 Integrated Communications Navigation and Surveillance Conference, ICNS 2021 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 1-10 |
| Number of pages | 10 |
| Volume | 2021-April |
| ISBN (Electronic) | 9781665435840 |
| DOIs | |
| Publication status | Published - 20 Apr 2021 |
| Event | 2021 Integrated Communications Navigation and Surveillance Conference, ICNS 2021 - Dulles, United States Duration: 19 Apr 2021 → 23 Apr 2021 |
Publication series
| Name | Integrated Communications, Navigation and Surveillance Conference, ICNS |
|---|---|
| Volume | 2021-April |
| ISSN (Print) | 2155-4943 |
| ISSN (Electronic) | 2155-4951 |
Conference
| Conference | 2021 Integrated Communications Navigation and Surveillance Conference, ICNS 2021 |
|---|---|
| Country/Territory | United States |
| City | Dulles |
| Period | 19/04/21 → 23/04/21 |
Bibliographical note
Funding Information:This work was supported by Trafikverket and Luftfartsverket under Automation Program II.
Funding Information:
This work was supported by Trafikverket Luftfartsverket under Automation Program II.
Publisher Copyright:
© 2021 IEEE.