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.
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 | |
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 |