Efficient and Quantum-safe Internet Key Exchange Protocols for Satellite Communications | ArxivCSExplorer