Local Opacity Verification for Distributed Discrete Event Systems
Local Opacity Verification for Distributed Discrete Event Systems
复制标题
DOI：
10.1109/cdc45484.2021.9683017
复制
发表时间：
2021-12
期刊：
影响因子：
--
通讯作者：
Sasinee Pruekprasert;Kai Cai
中科院分区：
文献类型：
--
作者：
Sasinee Pruekprasert;Kai Cai
研究了分布式离散事件系统的当前状态不透明性和初始状态不透明性验证问题。分布式系统的全局模型是多个局部系统的并行组合：每个局部系统代表一个组件。我们提出的充分条件，仅基于局部系统的不透明性来验证全局系统模型的不透明性。我们还提出了有效的方法，只依赖于入侵者的观察自动机的本地DES的不透明性验证问题。
This paper studies current-state opacity and initial-state opacity verification of distributed discrete event systems. The distributed system’s global model is the parallel composition of multiple local systems: each of which represents a component. We propose sufficient conditions for verifying opacity of the global system model based only on the opacity of the local systems. We also present efficient approaches for the opacity verification problem that only rely on the intruder’s observer automata of the local DESs.