Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Security-minded verification of space systems

Tools
- Tools
+ Tools

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 ISSN 1095-323X. doi:10.1109/AERO47225.2020.9172563

[img]
Preview
PDF
WRAP-security-minded-verification-space-systems-Maple-2020.pdf - Accepted Version - Requires a PDF viewer.

Download (3289Kb) | Preview
Official URL: https://doi.org/10.1109/AERO47225.2020.9172563

Request Changes to record.

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 > 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:
DateEvent
21 August 2020Published
13 November 2019Accepted
DOI: 10.1109/AERO47225.2020.9172563
Status: Peer Reviewed
Publication Status: Published
Publisher 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
RIOXX Funder/Project Grant:
Project/Grant IDRIOXX Funder NameFunder ID
EP/R026092UK Research and Innovationhttp://dx.doi.org/10.13039/100014013
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:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us