Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling
作者： Florian Kammuller , Manfred Kerber
DOI: 10.1109/SPW.2016.47
关键词: Airplane 、 Aviation 、 Computer science 、 Computer security 、 Insider 、 Logical modeling 、 Security controls
摘要: In this paper we consider the limits of formal modeling infrastructures and application social explanation for analysis insider threats in security safety critical areas. As an area study take examples from aviation, firstly since incidents are typically well-documented secondly it is important per se. March 2015, a Germanwings flight crashed French Alps what quite firmly believed to have been intentionally caused by copilot who locked pilot out cockpit programmed autopilot on constant descent. We investigate controls policies airplanes against using logical Isabelle.
sci-hub.se 参考文章(23)
Florian Kammüller, Lawrence C. Paulson, A Formal Proof of Sylow‘s Theorem Journal of Automated Reasoning. ,vol. 23, pp. 235- 264 ,(1999) , 10.1023/A:1006269330992
Ludovic Henrio, Florian Kammüller, Marcela Rivera, An Asynchronous Distributed Component Model and Its Semantics formal methods. pp. 159- 179 ,(2009) , 10.1007/978-3-642-04167-9_9
Hartmut Esser, Soziologie : Allgemeine Grundlagen Campus. ,(1999)
Newton Lee, September 11 Attacks Springer, Cham. pp. 3- 19 ,(2015) , 10.1007/978-3-319-17244-6_1
Florian Kammüller, Markus Wenzel, Lawrence C. Paulson, Locales - A Sectioning Concept for Isabelle theorem proving in higher order logics. pp. 149- 166 ,(1999) , 10.1007/3-540-48256-3_11
Taolue Chen, Florian Kammüller, Ibrahim Nemli, Christian W. Probst, A Probabilistic Analysis Framework for Malicious Insider Threats international conference on human-computer interaction. pp. 178- 189 ,(2015) , 10.1007/978-3-319-20376-8_16
Florian Kammuller, Christian W. Probst, Modeling and Verification of Insider Threats Using Logical Analysis IEEE Systems Journal. ,vol. 11, pp. 534- 545 ,(2017) , 10.1109/JSYST.2015.2453215
Jason RC Nurse, Oliver Buckley, Philip A Legg, Michael Goldsmith, Sadie Creese, Gordon RT Wright, Monica Whitty, None, Understanding Insider Threat: A Framework for Characterising Attacks ieee symposium on security and privacy. pp. 214- 228 ,(2014) , 10.1109/SPW.2014.38
Debin Liu, XiaoFeng Wang, Jean Camp, Game-theoretic modeling and analysis of insider threats International Journal of Critical Infrastructure Protection. ,vol. 1, pp. 75- 80 ,(2008) , 10.1016/J.IJCIP.2008.08.001
Carl G. Hempel, Paul Oppenheim, Studies in the Logic of Explanation Philosophy of Science. ,vol. 15, pp. 135- 175 ,(1948) , 10.1086/286983