Florian Kammüller, Manfred Kerber. Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling. In 2016 IEEE Security and Privacy Workshops, SP Workshops 2016, San Jose, CA, USA, May 22-26, 2016. pages 304-313, IEEE Computer Society, 2016. [doi]
Abstract is missing.