期刊
AUTOMATICA
卷 133, 期 -, 页码 -出版社
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.automatica.2021.109836
关键词
Discrete event systems; Opacity; Opacity-enforcement; Event observation delay; Event observation deletion
This paper deals with current-state opacity and proposes an Opacity-Enforcer to mislead intruders. It presents necessary and sufficient conditions for opacity enforceability, as well as a verification test and algorithm for realizing opacity enforcement. Additionally, it introduces a protocol to mitigate the negative impact of opacity enforcement on legitimate recipients.
In this paper, we deal with current-state opacity, and propose an Opacity-Enforcer that is able to change, in an appropriate way, the order of observation of event occurrences in the system, and also to delete event observations, so as to mislead the Intruder to never be sure if the current state of the system is a secret state. We then present two necessary and sufficient conditions for the feasibility of current-state opacity enforceability (CSOE), i.e., if a current-state opacity enforcer that shuffles and deletes events can be synthesized for the system, and present an automaton-based verification test for CSOE and an algorithm to build the automaton that realizes the proposed opacity enforcement. We also present a protocol to mitigate the negative effect of opacity enforcement on the capability of a legitimate recipient to accurately estimate the current state of the system in the case when the information is also intended to be sent to some receiver that needs to be aware of the system evolution. (C) 2021 Elsevier Ltd. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据