针对无穷步不透明性的传感器主动攻击
CSTR:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

TP273

基金项目:

国家自然科学基金面上项目(12271112).


Active sensor attacks against infinite-step opacity
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    The problem of opacity has been successfully applied in the field of information security for cyber-physical systems, and recently the attack problem of opacity in discrete event systems has attracted extensive attention of scholars. This paper studies the feasibility of active attacks against infinite-step opacity in the context of supervisory control of discrete event systems. According to whether the attacker can fully attack the secret states in the system, the formal concepts of strong attackability and weak attackability are respectively given. For the closed-loop controlled system with enhanced infinite-step opacity, a new all attack structure model is proposed to record the pre-state and post-state estimations of the attacker and the supervisor, and determines whether the active attacker can complete the attack against infinite-step opacity of the system by tampering with the supervisor's observations without being detected by the supervisor. Based on this model, the necessary and sufficient conditions for strong attackability and weak attackability of infinite-step opacity are respectively deduced. The conclusions and examples demonstrate that the proposed sensor active attack strategy can effectively achieve active attacks against system security.

    参考文献
    相似文献
    引证文献
引用本文

丘瑞明,肖存涛.针对无穷步不透明性的传感器主动攻击[J].控制与决策,2026,41(1):123-132

复制
相关视频

分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2025-03-16
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2025-12-30
  • 出版日期: 2026-01-10
文章二维码