A post quantum secure construction of an authentication protocol for satellite communication. (12th July 2022)