Security protocols for satellite communications
Bellot, Adrien (2024-06-06)
Security protocols for satellite communications
(06.06.2024)
Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.
avoin
Julkaisun pysyvä osoite on:
https://urn.fi/URN:NBN:fi-fe2024061753432
https://urn.fi/URN:NBN:fi-fe2024061753432
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.
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.