2016 · 16 citations · 21 references
ComputingAerospace EngineeringCybersecurityAerial RoboticsComputer SecurityUnmanned Aircraft SystemsAviation SecurityEmbedded System SecurityThreat ModelingAttack MitigationAttack Surface ModelingGlobal Positioning SystemLaunch Vehicle DesignMitigationSecurity TestingTest Suite GenerationUnmanned Aerial Vehicle Security
Unmanned aerial vehicle's (UAV's), are becoming more popular in both military and commercial use. Generally, they are remotely piloted or rely on global positioning systems (GPS) which makes them vulnerable to cyber security attacks. This paper demonstrates an approach for security testing a UAV. Our approach has previously been demonstrated on both pre-flight and post-liftoff launch vehicle systems. This approach uses a behavioral model, an attack model, and a mitigation model to build a security test suite. We identify attack points in a system using behavioral and attack models. We then generate a UAV security test suite based on attack mitigation models.
21
On Communicating Finite-State Machines
Daniël Brand, P. Zafiropulo · Journal of the ACM · 1983 · 1.1K citations · Full text
Model-based testing in practice
Siddhartha R. Dalal, Ashish Jain, N. Karunanithi et al. · 1999 · 512 citations · Full text
Social Sciences, Health Sciences, Health Services Research +6
Cyber security threat analysis and modeling of an unmanned aerial vehicle system
Ahmad Y. Javaid, Weiqing Sun, Vijay Devabhaktuni et al. · 2012 · 313 citations