Investigating airplane safety and security against insider threats using logical modeling

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


Colleges, School and Institutes

External organisations

  • Middlesex University


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 languageEnglish
Number of pages10
Publication statusE-pub ahead of print - 4 Aug 2016
EventIEEE Symposium on Security and Privacy, 37th - San Jose, CA, United States
Duration: 23 May 201625 May 2016


ConferenceIEEE Symposium on Security and Privacy, 37th
CountryUnited States
CitySan Jose, CA