Investigating airplane safety and security against insider threats using logical modeling

Florian Kammueller; Manfred Kerber

doi:10.1109/SPW.2016.47

Investigating airplane safety and security against insider threats using logical modeling

Florian Kammueller, Manfred Kerber

Computer Science

Research output: Contribution to conference (unpublished) › Paper › peer-review

10 Citations (Scopus)

280 Downloads (Pure)

Abstract

In this paper we consider the limits of formal modelling of infrastructures and the application of social explanation for the analysis of insider threats in security and safety critical areas. As an area of study for the analysis we take examples from aviation, firstly since incidents are typically well-documented and secondly since it is an important area per se. In March 2015, a Germanwings flight crashed in the French Alps in what is quite firmly believed to have been intentionally caused by the
copilot who locked the pilot out of the cockpit and programmed the autopilot on constant descent. We investigate the security controls and policies in airplanes against insider threats using logical modeling in Isabelle.

Original language	English
Number of pages	10
DOIs	https://doi.org/10.1109/SPW.2016.47
Publication status	E-pub ahead of print - 4 Aug 2016
Event	IEEE Symposium on Security and Privacy, 37th - San Jose, CA, United States Duration: 23 May 2016 → 25 May 2016

Conference

Conference	IEEE Symposium on Security and Privacy, 37th
Country/Territory	United States
City	San Jose, CA
Period	23/05/16 → 25/05/16

Access to Document

10.1109/SPW.2016.47

PID4158815
(c) 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, 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 components of this work in other works
Accepted author manuscript, 247 KBLicence: None: All rights reserved

Cite this

@conference{a51f460309f743a19b0521261dc7ceaa,

title = "Investigating airplane safety and security against insider threats using logical modeling",

abstract = "In this paper we consider the limits of formal modelling of infrastructures and the application of social explanation for the analysis of insider threats in security and safety critical areas. As an area of study for the analysis we take examples from aviation, firstly since incidents are typically well-documented and secondly since it is an important area per se. In March 2015, a Germanwings flight crashed in the French Alps in what is quite firmly believed to have been intentionally caused by thecopilot who locked the pilot out of the cockpit and programmed the autopilot on constant descent. We investigate the security controls and policies in airplanes against insider threats using logical modeling in Isabelle.",

author = "Florian Kammueller and Manfred Kerber",

year = "2016",

month = aug,

day = "4",

doi = "10.1109/SPW.2016.47",

language = "English",

note = "IEEE Symposium on Security and Privacy, 37th ; Conference date: 23-05-2016 Through 25-05-2016",

}

TY - CONF

T1 - Investigating airplane safety and security against insider threats using logical modeling

AU - Kammueller, Florian

AU - Kerber, Manfred

PY - 2016/8/4

Y1 - 2016/8/4

N2 - In this paper we consider the limits of formal modelling of infrastructures and the application of social explanation for the analysis of insider threats in security and safety critical areas. As an area of study for the analysis we take examples from aviation, firstly since incidents are typically well-documented and secondly since it is an important area per se. In March 2015, a Germanwings flight crashed in the French Alps in what is quite firmly believed to have been intentionally caused by thecopilot who locked the pilot out of the cockpit and programmed the autopilot on constant descent. We investigate the security controls and policies in airplanes against insider threats using logical modeling in Isabelle.

AB - In this paper we consider the limits of formal modelling of infrastructures and the application of social explanation for the analysis of insider threats in security and safety critical areas. As an area of study for the analysis we take examples from aviation, firstly since incidents are typically well-documented and secondly since it is an important area per se. In March 2015, a Germanwings flight crashed in the French Alps in what is quite firmly believed to have been intentionally caused by thecopilot who locked the pilot out of the cockpit and programmed the autopilot on constant descent. We investigate the security controls and policies in airplanes against insider threats using logical modeling in Isabelle.

UR - http://writ2016.compute.dtu.dk/

U2 - 10.1109/SPW.2016.47

DO - 10.1109/SPW.2016.47

M3 - Paper

T2 - IEEE Symposium on Security and Privacy, 37th

Y2 - 23 May 2016 through 25 May 2016

ER -

Investigating airplane safety and security against insider threats using logical modeling

Abstract

Conference

Access to Document

Fingerprint

Cite this