具有非 FIFO 信道的网络化离散事件系统中隐蔽传感器攻击的综合
系统与控制
2021-03-15 v1 系统与控制
摘要
本文在 networked discrete-event systems (DES, 离散事件系统) 监督控制框架下研究隐蔽传感器攻击综合问题，其中观测信道与控制信道被假设为非 FIFO 且具有有界网络延迟。我们关注满足以下性质的传感器攻击类：1) 攻击者可能不具备与网络化监督器相同的观测能力；2) 攻击者旨在保持隐蔽，即针对网络化监视器隐藏其存在；3) 攻击者可以插入、删除或替换被妥协的可观测事件；4) 其执行有界传感器攻击，即传感器攻击者输出的每个字符串长度由给定常数上界限制。本文提出的求解方法是将网络化 DES 的隐蔽传感器攻击综合问题建模为已被深入研究的 Ramadge-Wonham 监督器综合问题，且该构造对可达成损害攻击与不可阻塞损害攻击均适用。特别地，我们证明了在网络化设定下存在极大隐蔽传感器攻击，并可通过基于 normality (正规性) 性质的合成方法有效计算。
引用
@article{arxiv.2103.07132,
title = {Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels},
author = {Ruochen Tai and Liyong Lin and Yuting Zhu and Rong Su},
journal= {arXiv preprint arXiv:2103.07132},
year = {2021}
}