Maple, Carsten, Bradbury, Matthew S., Yuan, Hu, Farrell, Marie, Dixon, Clare, Fisher, Michael and Atmaca, Ugur Ilker (2020) Security-minded verification of space systems. In: IEEE Aerospace Conference 2020 (AeroConf 2020), Montana, USA, 7-14 Mar 2020. Published in: 2020 IEEE Aerospace Conference doi:10.1109/AERO47225.2020.9172563 ISSN 1095-323X.
Preview |
PDF
WRAP-security-minded-verification-space-systems-Maple-2020.pdf - Accepted Version - Requires a PDF viewer. Download (3MB) | 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 Item (Paper) |
|---|---|
| Subjects: | T Technology > TK Electrical engineering. Electronics Nuclear engineering |
| Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) |
| Library of Congress Subject Headings (LCSH): | Wireless communication systems -- Security measures, Mobile communication systems, Remote sensing, Artificial intelligence, Internet of things -- Security measures |
| Journal or Publication Title: | 2020 IEEE Aerospace Conference |
| Publisher: | IEEE |
| ISSN: | 1095-323X |
| Official Date: | 21 August 2020 |
| Dates: | Date Event 21 August 2020 Published 13 November 2019 Accepted |
| DOI: | 10.1109/AERO47225.2020.9172563 |
| Status: | Peer Reviewed |
| Publication Status: | Published |
| Re-use Statement: | © 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
| Access rights to Published version: | Restricted or Subscription Access |
| Date of first compliant deposit: | 16 January 2020 |
| Date of first compliant Open Access: | 16 January 2020 |
| RIOXX Funder/Project Grant: | Project/Grant ID RIOXX Funder Name Funder ID |
| Conference Paper Type: | Paper |
| Title of Event: | IEEE Aerospace Conference 2020 (AeroConf 2020) |
| Type of Event: | Conference |
| Location of Event: | Montana, USA |
| Date(s) of Event: | 7-14 Mar 2020 |
| Related URLs: | |
| URI: | https://wrap.warwick.ac.uk/132070/ |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |