Open Access iconOpen Access

ARTICLE

crossmark

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: email

(This article belongs to the Special Issue: Security and Privacy issues for various Emerging Technologies and Future Trends)

Computers, Materials & Continua 2022, 71(3), 5891-5910. https://doi.org/10.32604/cmc.2022.023697

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


Cite This Article

APA Style
Soltani, S., Seno, S.A.H., Rejito, J., Budiarto, R. (2022). Robust authentication and session key agreement protocol for satellite communications. Computers, Materials & Continua, 71(3), 5891-5910. https://doi.org/10.32604/cmc.2022.023697
Vancouver Style
Soltani S, Seno SAH, Rejito J, Budiarto R. Robust authentication and session key agreement protocol for satellite communications. Comput Mater Contin. 2022;71(3):5891-5910 https://doi.org/10.32604/cmc.2022.023697
IEEE Style
S. Soltani, S.A.H. Seno, J. Rejito, and R. Budiarto "Robust Authentication and Session Key Agreement Protocol for Satellite Communications," Comput. Mater. Contin., vol. 71, no. 3, pp. 5891-5910. 2022. https://doi.org/10.32604/cmc.2022.023697



cc Copyright © 2022 The Author(s). Published by Tech Science Press.
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.
  • 1766

    View

  • 1086

    Download

  • 0

    Like

Share Link