SpiderSec: A Model-Based Systems Engineering Framework for Satellite Internet Security - Li, Jiaqi; Zhang, Lvyang; Zhao, Yang; Zhai, Lidong (IEEE INFOCOM 2025 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Computer Communications Workshops (INFOCOM WKSHPS), IEEE INFOCOM 2025 - IEEE Conference on, 2025)