Dowling, B. orcid.org/0000-0003-3234-6527, Hale, B. orcid.org/0000-0003-1131-2109, Tian, X. orcid.org/0000-0001-6171-2309 et al. (1 more author) (2025) Cryptography is rocket science. IACR Communications in Cryptology, 1 (4). 21. ISSN 3006-5496
Abstract
Space networking has become an increasing area of development with the advent of commercial satellite networks such as those hosted by Starlink and Kuiper, and increased satellite and space presence by governments around the world. Yet, historically such network designs have not been made public, leading to limited formal cryptographic analysis of the security offered by them. One of the few public protocols used in space networking is the Bundle Protocol, which is secured by Bundle Protocol Security (BPSec), an Internet Engineering Task Force (IETF) standard. We undertake a first analysis of BPSec under its default security context, building a model of the secure channel security goals stated in the IETF standard, and note issues therein with message loss detection. We prove BPSec secure, and also provide a stronger construction, one that supports the Bundle Protocol's functionality goals while also ensuring destination awareness of missing message components.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2025 by the International Association for Cryptologic Research. This work is licensed under a CC BY 4.0 license (https://creativecommons.org/licenses/by/4.0/deed.en). |
Keywords: | BPSec; Bundle Protocol; Space System Security; Satellite Security |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 17 Jan 2025 12:38 |
Last Modified: | 21 Jan 2025 08:22 |
Status: | Published |
Publisher: | International Association for Cryptologic Research |
Refereed: | Yes |
Identification Number: | 10.62056/a39qudhdj |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:221768 |