@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},
}