摘要:不透明性在信息安全领域取得了许多成功的应用, 针对离散事件系统不透明性的攻击问题引起了国内外学者的广泛关注. 在监督控制背景下, 研究针对离散事件系统无穷步不透明性的传感器主动攻击可行性问题. 根据能否对系统中秘密状态全面攻击, 分别给出强可攻击与弱可攻击的形式化定义. 针对增强无穷步不透明性的闭环受控系统, 提出一种新的全攻击信息流结构模型来记录攻击者与监督器的前后状态估计, 并以此判断主动攻击者能否通过篡改监督器的观察, 在监督器未检测到其存在的前提下完成对系统无穷步不透明性的攻击, 并以此模型分别推导出针对无穷步不透明性强可攻击和弱可攻击的充分必要条件. 结论及实例均表明所提出的传感器主动攻击策略可以有效实现对系统安全性的主动攻击.