文章基本信息

标题：Towards probabilistic intrusion detection in supervisory control of discrete event systems 1
本地全文：下载
作者：Rômulo Meira-Góes ; Christoforos Keroglou ; Stéphane Lafortune 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：2
页码：1776-1782
DOI：10.1016/j.ifacol.2020.12.2321
语种：English
出版社：Elsevier
摘要：AbstractIn 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ϵ-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ϵ-safe. Moreover, we provide an algorithm that verifies these conditions, which implies that the problem is decidable.
关键词：KeywordsSupervisory controlautomataDiscrete event modelingsimulationIntrusion detectionSecurity