AIセキュリティポータル K Program
SCART: Simulation of Cyber Attacks for Real-Time
Share
Abstract
Real-Time systems are often implemented as reactive systems that respond to stimuli and complete tasks in a known bounded time. The development process of such systems usually involves using a cycle-accurate simulation environment and even the digital twine system that can accurately simulate the system and the environment it operates in. In addition, many real-time systems require high reliability and strive to be immune against security attacks. Thus, the development environment must support reliability-related events such as the failure of a sensor, malfunction of a subsystem, and foreseen events of Cyber security attacks. This paper presents the SCART framework - an innovative solution that aims to allow extending simulation environments of real-time systems with the capability to incorporate reliability-related events and advanced cyber security attacks, e.g., an attack on a single sensor as well as "complex security attacks" that aim to change the behavior of a group of sensors. We validate our system by applying the new proposed environment on control a drone's flight control system including its navigation system that uses machine learning algorithms. Such a system is very challenging since it requires many experiments that can hardly be achieved by using live systems. We showed that using SCART is very efficient, can increase the model's accuracy, and significantly reduce false-positive rates. Some of these experiments were also validated using a set of "real drones".
Unsupervised real-time anomaly detection for streaming data
S. Ahmad, A. Lavin, S. Purdy, Z. Agha
Published: 2017
Principles of Concurrent and Distributed Programming
M. Ben-Ari
Published: 1990
A survey of network attacks on cyber-physical systems
L. Cao, X. Jiang, Y. Zhao, S. Wang, D. You, X. Xu
Published: 2020
Anomaly detection: A survey
V. Chandola, A. Banerjee, V. Kumar
Published: 2009
Joint estimation of model parameters and outlier effects in time series
C. Chen, L.M. Liu
Published: 1993
A dataset to support research in the design of secure water treatment systems
J. Goh, S. Adepu, K.N. Junejo, A. Mathur
Published: 2017
Digital twin-based sustainable intelligent manufacturing: A review
B. He, K.J. Bai
Published: 2021
Smart nest thermostat: A smart spy in your home
G. Hernandez, O. Arias, D. Buentello, Y. Jin
Published: 2014
Statement on the vulnerability of civil unmanned aerial vehicles and other systems to civil gps spoofing
T. Humphreys
Published: 2012
Detecting spacecraft anomalies using lstms and nonparametric dynamic thresholding
K. Hundman, V. Constantinou, C. Laporte, I. Colwell, T. Soderstrom
Published: 2018
Skoltech anomaly benchmark (skab)
I.D. Katser, V.O. Kozitsin
Published: 2020
A survey on simulators for testing self-driving cars
P. Kaur, S. Taghavi, Z. Tian, W. Shi
Published: 2021
Real-time systems design and analysis
P.A. Laplante, et al.
Published: 2004
A robot operating system framework for secure uav communications
H. Lee, J. Yoon, M.S. Jang, K.J. Park
Published: 2021
Type-assisted dynamic buffer overflow detection
K.s. Lhee, S.J. Chapin
Published: 2002
Physical passive patch adversarial attacks on visual odometry systems
Y. Nemcovsky, M. Jacoby, A.M. Bronstein, C. Baskin
Published: 2022
Embedded systems security: Threats, vulnerabilities, and attack taxonomy
D. Papp, Z. Ma, L. Buttyan
Published: 2015
Cyber threats facing autonomous and connected vehicles: Future challenges
S. Parkinson, P. Ward, K. Wilson, J. Miller
Published: 2017
Ros: an open-source robot operating system
M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, A.Y. Ng, et al.
Published: 2009
Verification and validation of simulation models
R.G. Sargent
Published: 2010
Architecture of computing systems – arcs 2019
M. Schoeberl, C. Hochberger, S. Uhrig, J. Brehm, T. Pionteck
Published: 2019
Airsim: High-fidelity visual and physical simulation for autonomous vehicles
S. Shah, D. Dey, C. Lovett, A. Kapoor
Published: 2017
Discrete event simulation system
A. Varga
Published: 2001
Tsagen: synthetic time series generation for kpi anomaly detection
C. Wang, K. Wu, T. Zhou, G. Yu, Z. Cai
Published: 2021
Current time series anomaly detection benchmarks are flawed and are creating the illusion of progress
R. Wu, E. Keogh
Published: 2021
Share