Security protocols for satellite communications
1.46 MB
avoin
Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.
Lataukset575
Pysyvä osoite
Verkkojulkaisu
DOI
Tiivistelmä
The work explores the application of the MASK (Multi-AS-Key) protocol for enhancing satellite communication security.
MASK is integrated with IPv6 segment routing (SRv6) to provide robust data transmission security with minimal computational overhead. The thesis includes a detailed implementation of MASK in a simulated environment using Mininet and IPMininet, demonstrating its effectiveness. Formal verification using the Tamarin prover confirms MASK’s security properties, ensuring data integrity, source authentication, and replay attack resistance. Future work suggests implementing multipath support and full control plane integration to further enhance the protocol’s capabilities.