Journal
IFAC PAPERSONLINE
Volume 53, Issue 2, Pages 1776-1782Publisher
ELSEVIER
DOI: 10.1016/j.ifacol.2020.12.2321
Keywords
Supervisory control and automata; Discrete event modeling and simulation; Intrusion detection; Security
Categories
Funding
- US NSF [CNS-1738103]
Ask authors/readers for more resources
In control systems, sensor deception is a class of attacks where an attacker manipulates sensor readings to cause damage to the system. Our work investigates quantitative measurements to detect this class of attacks in the context of stochastic supervisory control. We introduce the notion of epsilon-safe systems, which is a first step to generalize qualitative intrusion detection conditions to quantitative intrusion detection conditions. We provide sufficient and necessary conditions to verify if a system is epsilon-safe. Moreover, we provide an algorithm that verifies these conditions, which implies that the problem is decidable. Copyright (C) 2020 The Authors.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available