Computers, Materials and Continua, Volume (71), No (3), Year (2022-1) , Pages (5891-5910)

Title : ( Robust Authentication and Session Key Agreement Protocol for Satellite Communications )

Authors: Somayeh Soltani , Seyed Amin Hosseini Seno , Juli Rejito , Rahmat Budiarto ,

Citation: BibTeX | EndNote

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 AVISPA formal verification tool and OFMC and ATSE model checkers. 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
برای دانلود از شناسه و رمز عبور پرتال پویا استفاده کنید.

@article{paperid:1087755,
author = {Soltani, Somayeh and Hosseini Seno, Seyed Amin and Juli Rejito and Rahmat Budiarto},
title = {Robust Authentication and Session Key Agreement Protocol for Satellite Communications},
journal = {Computers, Materials and Continua},
year = {2022},
volume = {71},
number = {3},
month = {January},
issn = {1546-2226},
pages = {5891--5910},
numpages = {19},
keywords = {Satellite communications; authentication; session key agreement; secure communication; security protocols; formal verification},
}

[Download]

%0 Journal Article
%T Robust Authentication and Session Key Agreement Protocol for Satellite Communications
%A Soltani, Somayeh
%A Hosseini Seno, Seyed Amin
%A Juli Rejito
%A Rahmat Budiarto
%J Computers, Materials and Continua
%@ 1546-2226
%D 2022

[Download]