STARVERI: Efficient and Accurate Verification for Risk-Avoidance Routing in LEO Satellite Networks

TL;DR

STARVERI is a novel framework for efficient and accurate verification of routing paths in LEO satellite networks, enhancing security and reliability amid the unique dynamics of space-based internet constellations.

Contribution

It introduces a dynamic relay selection and lightweight verification algorithm tailored for LEO satellite networks, addressing limitations of existing crypto and delay-based methods.

Findings

Significantly improves path verification accuracy

Reduces router overhead compared to existing methods

Demonstrates effectiveness in a real constellation-based simulator

Abstract

Emerging satellite Internet constellations such as SpaceX's Starlink will deploy thousands of broadband satellites and construct Low-Earth Orbit(LEO) satellite networks(LSNs) in space, significantly expanding the boundaries of today's terrestrial Internet. However, due to the unique global LEO dynamics, satellite routers will inevitably pass through uncontrolled areas, suffering from security threats. It should be important for satellite network operators(SNOs) to enable verifiable risk-avoidance routing to identify path anomalies. In this paper, we present STARVERI, a novel network path verification framework tailored for emerging LSNs. STARVERI addresses the limitations of existing crypto-based and delay-based verification approaches and accomplishes efficient and accurate path verification by: (i) adopting a dynamic relay selection mechanism deployed in SNO's operation center to judiciously select verifiable relays for each communication pair over LSNs; and (ii) incorporating a lightweight path verification algorithm to dynamically verify each segment path split by distributed relays. We build an LSN simulator based on real constellation information and the results demonstrate that STARVERI can significantly improve the path verification accuracy and achieve lower router overhead compared with existing approaches.