武科大网讯 近日，我校人工智能与自动化学院硕士研究生在国际控制领域顶级期刊《Automatica》上以长文（Regular Paper）形式发表题为“Verification of Current-State Opacity and Opaque Time for Labeled Time Petri Net Systems”的研究论文。该论文第一作者为我校2022级硕士研究生王宇婷，其导师黎良担任通讯作者，武汉科技大学为论文的第一完成单位。
随着各类信息系统复杂度的不断提升以及外部攻击手段的日益复杂，如何确保系统中的敏感信息不被未授权访问或泄露，成为信息安全领域亟待解决的关键问题。不透明性（Opacity）作为衡量系统信息安全的重要指标，其研究旨在确保系统中的关键信息（如秘密状态或行为）对未授权观察者保持不确定，从而有效防止信息泄露。现有工作多聚焦于以逻辑离散事件系统模型的不透明性研究，而嵌入时间信息的离散事件系统的状态不透明性会呈现动态变化特征，导致传统方法难以验证这类系统的不透明性。为了解决这一复杂问题，该论文利用标签时间Petri网系统模型，提出了一种赋时离散事件系统的当前状态不透明性验证方法，避免对给定时刻内生成的所有可观测标签序列进行验证。同时，作者基于修正状态类图提出了一种不透明时间长度的计算方法，为时间相关系统的隐私保护和安全防护提供了有效理论支持和技术手段。
《Automatica》是国际自动控制联合会（International Federation of Automatic Control，IFAC）主办的旗舰期刊，对研究工作的前沿性和创新性要求严苛，在全球自动化与控制工程学术界享有极高声誉。该刊与《IEEE Transactions on Automatic Control》被公认为国际控制与自动化领域的两大顶级期刊，也是衡量各高校控制领域学术水准的标志性期刊。
值得关注的是，这是我校研究生首次以第一作者身份在该顶级期刊发表长文。该成果的发表是武汉科技大学持续推进研究生创新人才培养的结果，彰显了人工智能与自动化学院研究生培养质量和研究生导师队伍的建设水平。（人工智能与自动化学院）
论文链接：https://doi.org/10.1016/j.automatica.2025.112241
