标准当前状态不透明性与强当前状态不透明性的归约

不透明性是信息流安全中的一种重要属性,它表征了系统对入侵者保密的能力.在离散事件系统中,标准当前状态不透明性刻画的是入侵者无法根据当前的输出观测序列确定系统是否达到秘密状态.强当前状态不透明性刻画的是对每一个到达秘密状态的运行,存在一个观测等价的非秘密运行与之对应.显然,强当前状态不透明性比标准当前状态不透明性具有更强的隐秘性.针对标准当前状态不透明性与强当前状态不透明性之间的归约问题,提出一种新的转换方法,即在原系统基础上添加一些新的状态及相关跃迁,分别构造两个新的系统,证明了原系统是标准当前状态不透明的(强当前状态不透明的),当且仅当新系统是强当前状态不透明的(标准当前状态不透明的).