Search: id:"swepub:oai:DiVA.org:kth-300738" >
Towards probabilist...
Towards probabilistic intrusion detection in supervisory control of discrete event systems
-
- Meira-Goes, Romulo (author)
- Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA.
-
- Keroglou, Christoforos (author)
- KTH,Reglerteknik
-
- Lafortune, Stephane (author)
- Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA.
-
Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA Reglerteknik (creator_code:org_t)
- Elsevier BV, 2020
- 2020
- English.
-
In: IFAC PAPERSONLINE. - : Elsevier BV. - 2405-8963. ; , s. 1776-1782
- Related links:
-
https://doi.org/10.1...
-
show more...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Keyword
- Supervisory control and automata
- Discrete event modeling and simulation
- Intrusion detection
- Security
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database