Investigating airplane safety and security against insider threats using logical modeling

Research output: Contribution to conference (unpublished)Paperpeer-review

Standard

Investigating airplane safety and security against insider threats using logical modeling. / Kammueller, Florian; Kerber, Manfred.

2016. Paper presented at IEEE Symposium on Security and Privacy, 37th, San Jose, CA, United States.

Research output: Contribution to conference (unpublished)Paperpeer-review

Harvard

Kammueller, F & Kerber, M 2016, 'Investigating airplane safety and security against insider threats using logical modeling', Paper presented at IEEE Symposium on Security and Privacy, 37th, San Jose, CA, United States, 23/05/16 - 25/05/16. https://doi.org/10.1109/SPW.2016.47

APA

Kammueller, F., & Kerber, M. (2016). Investigating airplane safety and security against insider threats using logical modeling. Paper presented at IEEE Symposium on Security and Privacy, 37th, San Jose, CA, United States. https://doi.org/10.1109/SPW.2016.47

Vancouver

Kammueller F, Kerber M. Investigating airplane safety and security against insider threats using logical modeling. 2016. Paper presented at IEEE Symposium on Security and Privacy, 37th, San Jose, CA, United States. https://doi.org/10.1109/SPW.2016.47

Author

Kammueller, Florian ; Kerber, Manfred. / Investigating airplane safety and security against insider threats using logical modeling. Paper presented at IEEE Symposium on Security and Privacy, 37th, San Jose, CA, United States.10 p.

Bibtex

@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",

}

RIS

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 -