No Cover Image

Journal article 291 views 29 downloads

AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications

Suleman Khan, Gurjot Singh Gaba, An Braeken, Pardeep Kumar Orcid Logo, Andrei Gurtov

International Journal of Critical Infrastructure Protection, Volume: 42, Start page: 100619

Swansea University Author: Pardeep Kumar Orcid Logo

  • 63735.pdf

    PDF | Version of Record

    /© 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/)

    Download (1.48MB)

Check full text

DOI (Published version): 10.1016/j.ijcip.2023.100619

Abstract

Controller-Pilot Data Link Communications (CPDLC) are rapidly replacing voice-based Air Traffic Control (ATC) communications worldwide. Being digital, CPDLC is highly resilient and bandwidthefficient, which makes it the best choice for traffic-congested airports. Although CPDLC initially seems to be...

Full description

Published in: International Journal of Critical Infrastructure Protection
ISSN: 1874-5482
Published: Elsevier BV 2023
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa63735
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2023-06-28T11:51:21Z
last_indexed 2023-06-28T11:51:21Z
id cronfa63735
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>63735</id><entry>2023-06-28</entry><title>AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications</title><swanseaauthors><author><sid>90a5efa66b9ae87756f5b059eb06ef1e</sid><ORCID>0000-0001-8124-5509</ORCID><firstname>Pardeep</firstname><surname>Kumar</surname><name>Pardeep Kumar</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2023-06-28</date><deptcode>SCS</deptcode><abstract>Controller-Pilot Data Link Communications (CPDLC) are rapidly replacing voice-based Air Traffic Control (ATC) communications worldwide. Being digital, CPDLC is highly resilient and bandwidthefficient, which makes it the best choice for traffic-congested airports. Although CPDLC initially seems to be a perfect solution for modern-day ATC operations, it suffers from serious security issues. For instance, eavesdropping, spoofing, man-in-the-middle, message replay, impersonation attacks, etc. Cyber attacks on the aviation communication network could be hazardous, leading to fatal aircraft incidents and causing damage to individuals, service providers, and the aviation industry. Therefore, we propose a new security model called AKAASH, enabling several paramount security services, such as efficient and robust mutual authentication, key establishment, and a secure handover approach for the CPDLC-enabled aviation communication network. We implement the approach on hardware to examine the practicality of the proposed approach and verify its computational and communication efficiency and efficacy. We investigate the robustness of AKAASH through formal (proverif) and informal security analysis. The analysis reveals that the AKAASH adheres to the CPDLC standards and can easily integrate into the CPDLC framework.</abstract><type>Journal Article</type><journal>International Journal of Critical Infrastructure Protection</journal><volume>42</volume><journalNumber/><paginationStart>100619</paginationStart><paginationEnd/><publisher>Elsevier BV</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>1874-5482</issnPrint><issnElectronic/><keywords>Authentication, CPDLC, Critical infrastructure Safety and Security</keywords><publishedDay>1</publishedDay><publishedMonth>9</publishedMonth><publishedYear>2023</publishedYear><publishedDate>2023-09-01</publishedDate><doi>10.1016/j.ijcip.2023.100619</doi><url>http://dx.doi.org/10.1016/j.ijcip.2023.100619</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm>Another institution paid the OA fee</apcterm><funders>This work was supported by Trafikverket and Luftfartsverket under Automation Program II. This work was also partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) .</funders><projectreference/><lastEdited>2024-02-14T13:11:07.1887633</lastEdited><Created>2023-06-28T12:32:18.9886218</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Suleman</firstname><surname>Khan</surname><order>1</order></author><author><firstname>Gurjot Singh</firstname><surname>Gaba</surname><order>2</order></author><author><firstname>An</firstname><surname>Braeken</surname><order>3</order></author><author><firstname>Pardeep</firstname><surname>Kumar</surname><orcid>0000-0001-8124-5509</orcid><order>4</order></author><author><firstname>Andrei</firstname><surname>Gurtov</surname><order>5</order></author></authors><documents><document><filename>63735__28097__8335e91a381541cbb240aa75b7b3d17d.pdf</filename><originalFilename>63735.pdf</originalFilename><uploaded>2023-07-12T14:50:14.9550430</uploaded><type>Output</type><contentLength>1556707</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>/© 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/)</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>http://creativecommons.org/licenses/by/4.0/</licence></document></documents><OutputDurs/></rfc1807>
spelling v2 63735 2023-06-28 AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications 90a5efa66b9ae87756f5b059eb06ef1e 0000-0001-8124-5509 Pardeep Kumar Pardeep Kumar true false 2023-06-28 SCS Controller-Pilot Data Link Communications (CPDLC) are rapidly replacing voice-based Air Traffic Control (ATC) communications worldwide. Being digital, CPDLC is highly resilient and bandwidthefficient, which makes it the best choice for traffic-congested airports. Although CPDLC initially seems to be a perfect solution for modern-day ATC operations, it suffers from serious security issues. For instance, eavesdropping, spoofing, man-in-the-middle, message replay, impersonation attacks, etc. Cyber attacks on the aviation communication network could be hazardous, leading to fatal aircraft incidents and causing damage to individuals, service providers, and the aviation industry. Therefore, we propose a new security model called AKAASH, enabling several paramount security services, such as efficient and robust mutual authentication, key establishment, and a secure handover approach for the CPDLC-enabled aviation communication network. We implement the approach on hardware to examine the practicality of the proposed approach and verify its computational and communication efficiency and efficacy. We investigate the robustness of AKAASH through formal (proverif) and informal security analysis. The analysis reveals that the AKAASH adheres to the CPDLC standards and can easily integrate into the CPDLC framework. Journal Article International Journal of Critical Infrastructure Protection 42 100619 Elsevier BV 1874-5482 Authentication, CPDLC, Critical infrastructure Safety and Security 1 9 2023 2023-09-01 10.1016/j.ijcip.2023.100619 http://dx.doi.org/10.1016/j.ijcip.2023.100619 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University Another institution paid the OA fee This work was supported by Trafikverket and Luftfartsverket under Automation Program II. This work was also partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) . 2024-02-14T13:11:07.1887633 2023-06-28T12:32:18.9886218 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Suleman Khan 1 Gurjot Singh Gaba 2 An Braeken 3 Pardeep Kumar 0000-0001-8124-5509 4 Andrei Gurtov 5 63735__28097__8335e91a381541cbb240aa75b7b3d17d.pdf 63735.pdf 2023-07-12T14:50:14.9550430 Output 1556707 application/pdf Version of Record true /© 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/) true eng http://creativecommons.org/licenses/by/4.0/
title AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
spellingShingle AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
Pardeep Kumar
title_short AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
title_full AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
title_fullStr AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
title_full_unstemmed AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
title_sort AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
author_id_str_mv 90a5efa66b9ae87756f5b059eb06ef1e
author_id_fullname_str_mv 90a5efa66b9ae87756f5b059eb06ef1e_***_Pardeep Kumar
author Pardeep Kumar
author2 Suleman Khan
Gurjot Singh Gaba
An Braeken
Pardeep Kumar
Andrei Gurtov
format Journal article
container_title International Journal of Critical Infrastructure Protection
container_volume 42
container_start_page 100619
publishDate 2023
institution Swansea University
issn 1874-5482
doi_str_mv 10.1016/j.ijcip.2023.100619
publisher Elsevier BV
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://dx.doi.org/10.1016/j.ijcip.2023.100619
document_store_str 1
active_str 0
description Controller-Pilot Data Link Communications (CPDLC) are rapidly replacing voice-based Air Traffic Control (ATC) communications worldwide. Being digital, CPDLC is highly resilient and bandwidthefficient, which makes it the best choice for traffic-congested airports. Although CPDLC initially seems to be a perfect solution for modern-day ATC operations, it suffers from serious security issues. For instance, eavesdropping, spoofing, man-in-the-middle, message replay, impersonation attacks, etc. Cyber attacks on the aviation communication network could be hazardous, leading to fatal aircraft incidents and causing damage to individuals, service providers, and the aviation industry. Therefore, we propose a new security model called AKAASH, enabling several paramount security services, such as efficient and robust mutual authentication, key establishment, and a secure handover approach for the CPDLC-enabled aviation communication network. We implement the approach on hardware to examine the practicality of the proposed approach and verify its computational and communication efficiency and efficacy. We investigate the robustness of AKAASH through formal (proverif) and informal security analysis. The analysis reveals that the AKAASH adheres to the CPDLC standards and can easily integrate into the CPDLC framework.
published_date 2023-09-01T13:11:06Z
_version_ 1790880007023755264
score 11.012678

Similar Items