模糊离散事件系统的主动不透明性

    Active Opacity of Fuzzy Discrete Event Systems

    • 摘要: 近年来,由于不透明性在信息物理融合系统的信息安全领域取得了许多成功应用,离散事件系统的不透明性研究引起了国内外学者的广泛关注。本文以模糊自动机为模型,研究如何强化模糊离散事件系统当前状态不透明性的问题。先对模糊系统的主动不透明性概念进行了形式化。针对不具有当前状态不透明性的模糊系统,引入一个主动控制策略,提出了一种主动不透明性方法。通过构造模糊秘密状态的可控度验证器,为每一个秘密状态找到一个可控事件串,使系统可沿着可控事件串进入秘密状态而不被入侵者发现,从而达到强化模糊系统不透明性目的。在可控度验证器的基础上,得到了一个关于模糊系统主动不透明性的充分必要条件,并由此提出了一个相应的验证算法。

       

      Abstract: In recent years, the research on opacity of discrete event systems has attracted widespread attention due to the successful application of opacity in information security of cyber-physical systems. In this research, the enforcement issue of the current state opacity is investigated under the framework of fuzzy discrete event systems modeled by fuzzy automata. The notion of active opacity of fuzzy systems is formalized. For a fuzzy system that does not possess current state opacity, an active control strategy is introduced and then an approach to active opacity is proposed. By constructing a controllability verifier of fuzzy secret states, a controllable event sequence is identified for each secret state, which reinforces the opacity of the fuzzy system by allowing the system to enter a secret state undetected by intruders. Based on the controllability verifier, the necessary and sufficient condition for the active opacity of fuzzy systems is presented, and a corresponding verification algorithm is proposed.

       

    /

    返回文章
    返回