Maple, Carsten, Bradbury, Matthew, Yuan, Hu, Farrell, Marie 
ORCID: 0000-0001-7708-3877, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael and Atmaca, Ugur Ilker
(2020)
Security-Minded Verification of Space Systems.
In: 2020 IEEE Aerospace Conference, 2020-3-7 - 2020-3-14.
|
Text
AeroConf_Sec_Minded_V_V__DEADLINE_18th_October_(1).pdf - Author Accepted Manuscript Download (2MB) | Preview |
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.
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 15 Jan 2020 09:36 |
| Last Modified: | 14 Mar 2024 21:36 |
| DOI: | 10.1109/aero47225.2020.9172563 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3070611 |
Dimensions
Dimensions
