随机离散事件系统的k步主动不透明性研究

    Research on k-Step Active Opacity of Stochastic Discrete Event Systems

    • 摘要: 近年来,由于离散事件系统的不透明性在信息安全机制中取得了许多应用成果,引起了国内外众多学者的广泛关注。本文基于随机离散事件系统框架,针对系统存在泄密路径的安全问题,提出了通过主动控制增强系统 k 步不透明性的方法,确保系统中所有秘密状态均不被泄露。首先,对随机离散事件系统的 k 步主动不透明性进行形式化。其次,通过构造 k 步主动不透明性验证器,为系统中每个秘密状态找到一个泄密概率最低的可控事件串,使系统可以通过强制执行可控事件以最安全的路径进入秘密状态,以达到增强 k 步不透明性的目的。此外,也得到一个随机离散事件系统 k 步主动不透明性的充分必要条件,可用于验证随机离散事件系统的 k 步主动不透明性。

       

      Abstract: In recent years, the opacity of discrete event systems has achieved remarkable application results in information security mechanisms, attracting increasing attention from the researchers of the world. With the aim to address the security issue of leakage paths in the system, this paper proposes a method to enhance the k -step opacity of the system through active control based on the framework of stochastic discrete event systems, ensuring that all secret states in the system are not disclosed. First, the k -step active opacity of stochastic discrete event systems is formalized. Second, by constructing a k -step active opacity verifier, a controllable event string with the lowest leakage probability is found for each secret state in the system, allowing the system to enter the secret state through the safest path by enforcing controllable events. In this way, the k -step opacity can be enhanced, and additionally a necessary and sufficient condition for the k -step active opacity of stochastic discrete event systems is obtained, which can be used to verify the k -step active opacity of stochastic discrete event systems.

       

    /

    返回文章
    返回