Applying the Isabelle Insider framework to airplane security
Working paper
Kammueller, F. and Kerber, M. 2020. Applying the Isabelle Insider framework to airplane security. arxiv.org.
Type | Working paper |
---|---|
Title | Applying the Isabelle Insider framework to airplane security |
Authors | Kammueller, F. and Kerber, M. |
Abstract | Avionics is one of the fields in which verification methods have been pioneered and brought a new level of reliability to systems used in safety critical environments. Tragedies, like the 2015 insider attack on a German airplane, in which all 150 people on board died, show that safety and security crucially depend not only on the well functioning of systems but also on the way how humans interact with the systems. Policies are a way to describe how humans should behave in their interactions with technical systems, formal reasoning about such policies requires integrating the human factor into the verification process. In this paper, we report on our work on using logical modelling and analysis of infrastructure models and policies with actors to scrutinize security policies in the presence of insiders. |
Journal | Cornell University, arxiv.org |
Publisher | arxiv.org |
Publication dates | |
Online | 27 Mar 2020 |
Publication process dates | |
Deposited | 15 Dec 2020 |
Submitted | 26 Mar 2020 |
Accepted | 26 Mar 2020 |
Output status | Published |
Language | English |
Book title | Preprint, arxiv.org |
https://repository.mdx.ac.uk/item/8910q
Restricted files
First submitted version
55
total views0
total downloads1
views this month0
downloads this month