Vol.71, No.3, 2022, pp.5891-5910, doi:10.32604/cmc.2022.023697
OPEN ACCESS
ARTICLE
Robust Authentication and Session Key Agreement Protocol for Satellite Communications
  • Somayeh Soltani1, Seyed Amin Hosseini Seno1, Juli Rejito2, Rahmat Budiarto3,*
1 Department of Computer Engineering, Ferdowsi University of Mashhad, Mashhad, 9177948974, Iran
2 Faculty of Mathematics and Science, Universitas Padjadjaran, Jatinangor, 45363, Indonesia
3 Faculty of Computer Science, Universitas Mercu Buana, Jakarta, 11650, Indonesia
* Corresponding Author: Rahmat Budiarto. Email:
(This article belongs to this Special Issue: Security and Privacy issues for various Emerging Technologies and Future Trends)
Received 17 September 2021; Accepted 08 December 2021; Issue published 14 January 2022
Abstract
Satellite networks are recognized as the most essential communication infrastructures in the world today, which complement land networks and provide valuable services for their users. Extensive coverage and service stability of these networks have increased their popularity. Since eavesdropping and active intrusion in satellite communications are much easier than in terrestrial networks, securing satellite communications is vital. So far, several protocols have been proposed for authentication and key exchange of satellite communications, but none of them fully meet the security requirements. In this paper, we examine one of these protocols and identify its security vulnerabilities. Moreover, we propose a robust and secure authentication and session key agreement protocol using the elliptic curve cryptography (ECC). We show that the proposed protocol meets common security requirements and is resistant to known security attacks. Moreover, we prove that the proposed scheme satisfies the security features using the Automated Validation of Internet Security Protocols and Applications (AVISPA) formal verification tool and On-the fly Model-Checker (OFMC) and ATtack SEarcher (ATSE) model checkers. We have also proved the security of the session key exchange of our protocol using the Real or Random (RoR) model. Finally, the comparison of our scheme with similar methods shows its superiority.
Keywords
Satellite communications; authentication; session key agreement; secure communication; security protocols; formal verification
Cite This Article
S. Soltani, S. Amin Hosseini Seno, J. Rejito and R. Budiarto, "Robust authentication and session key agreement protocol for satellite communications," Computers, Materials & Continua, vol. 71, no.3, pp. 5891–5910, 2022.
This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.