Static program analysis for IoT risk mitigation in space-air-ground integrated networks
Security and Safety, 3 (2024) 2024007
Published online: 30 April 2024
DOI: 10.1051/sands/2024007