Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling.
Florian Kammller, Manfred Kerber
VenueA*SP
Year2016
ProceedingsIEEE Symposium on Security and Privacy Workshops
DBLP recordconf/sp/KammullerK16 ↗
Browse the full SP paper archive.