Home > Research > Publications & Outputs > Security-Minded Verification of Space Systems

Research

Associated organisational unit

Links

Text available via DOI:

View graph of relations

Security-Minded Verification of Space Systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Security-Minded Verification of Space Systems. / Maple, Carsten; Bradbury, Matthew; Yuan, Hu et al.
2020 IEEE Aerospace Conference. Big Sky, Montana, USA: IEEE, 2020.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Maple, C, Bradbury, M, Yuan, H, Farrell, M, Dixon, C, Fisher, M & Atmaca, UI 2020, Security-Minded Verification of Space Systems. in 2020 IEEE Aerospace Conference. IEEE, Big Sky, Montana, USA. https://doi.org/10.1109/AERO47225.2020.9172563

APA

Maple, C., Bradbury, M., Yuan, H., Farrell, M., Dixon, C., Fisher, M., & Atmaca, U. I. (2020). Security-Minded Verification of Space Systems. In 2020 IEEE Aerospace Conference IEEE. https://doi.org/10.1109/AERO47225.2020.9172563

Vancouver

Maple C, Bradbury M, Yuan H, Farrell M, Dixon C, Fisher M et al. Security-Minded Verification of Space Systems. In 2020 IEEE Aerospace Conference. Big Sky, Montana, USA: IEEE. 2020 Epub 2020 Mar 14. doi: 10.1109/AERO47225.2020.9172563

Author

Maple, Carsten ; Bradbury, Matthew ; Yuan, Hu et al. / Security-Minded Verification of Space Systems. 2020 IEEE Aerospace Conference. Big Sky, Montana, USA : IEEE, 2020.

Bibtex

@inproceedings{60dc8820e1a043c38f33c4be23c339e3,
title = "Security-Minded Verification of Space Systems",
abstract = "Modern space systems are increasing in complexity. The advent of the Internet of Space Things, coupled with the commercialisation of space has resulted in an ecosystem that is difficult to control and brings about new security challenges. In such critical systems, it is common to conduct verification strategies to ensure that the underpinning software is correct. Formal verification is achieved by modelling the system and verifying that the model obeys particular functional and safety properties. Many connected systems are now the target of a variety of threat actors attempting to realise different goals. Threat modelling is the approach employed to analyse and manage the threats from adversaries. Common practice is that these two approaches are conducted independently of one another. In this paper, we argue that the two should be mutually informed, and describe a methodology for security-minded formal verification that combines these analysis techniques. This approach will streamline the development process and give a more formal grounding to the security properties identified during threat analysis.",
author = "Carsten Maple and Matthew Bradbury and Hu Yuan and Marie Farrell and Clare Dixon and Michael Fisher and Atmaca, {Uger Ilker}",
year = "2020",
month = aug,
day = "21",
doi = "10.1109/AERO47225.2020.9172563",
language = "English",
isbn = "9781728127354",
booktitle = "2020 IEEE Aerospace Conference",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - Security-Minded Verification of Space Systems

AU - Maple, Carsten

AU - Bradbury, Matthew

AU - Yuan, Hu

AU - Farrell, Marie

AU - Dixon, Clare

AU - Fisher, Michael

AU - Atmaca, Uger Ilker

PY - 2020/8/21

Y1 - 2020/8/21

N2 - Modern space systems are increasing in complexity. The advent of the Internet of Space Things, coupled with the commercialisation of space has resulted in an ecosystem that is difficult to control and brings about new security challenges. In such critical systems, it is common to conduct verification strategies to ensure that the underpinning software is correct. Formal verification is achieved by modelling the system and verifying that the model obeys particular functional and safety properties. Many connected systems are now the target of a variety of threat actors attempting to realise different goals. Threat modelling is the approach employed to analyse and manage the threats from adversaries. Common practice is that these two approaches are conducted independently of one another. In this paper, we argue that the two should be mutually informed, and describe a methodology for security-minded formal verification that combines these analysis techniques. This approach will streamline the development process and give a more formal grounding to the security properties identified during threat analysis.

AB - Modern space systems are increasing in complexity. The advent of the Internet of Space Things, coupled with the commercialisation of space has resulted in an ecosystem that is difficult to control and brings about new security challenges. In such critical systems, it is common to conduct verification strategies to ensure that the underpinning software is correct. Formal verification is achieved by modelling the system and verifying that the model obeys particular functional and safety properties. Many connected systems are now the target of a variety of threat actors attempting to realise different goals. Threat modelling is the approach employed to analyse and manage the threats from adversaries. Common practice is that these two approaches are conducted independently of one another. In this paper, we argue that the two should be mutually informed, and describe a methodology for security-minded formal verification that combines these analysis techniques. This approach will streamline the development process and give a more formal grounding to the security properties identified during threat analysis.

U2 - 10.1109/AERO47225.2020.9172563

DO - 10.1109/AERO47225.2020.9172563

M3 - Conference contribution/Paper

SN - 9781728127354

BT - 2020 IEEE Aerospace Conference

PB - IEEE

CY - Big Sky, Montana, USA

ER -