A Secure and Efficient Authentication Protocol for Satellite-Terrestrial Networks. - Yang Liu 038; Leiqing Ni; Mugen Peng (IEEE Internet Things J., 2023)