武科大網訊 近日，我校人工智能與自動化學院碩士研究生在國際控制領域頂級期刊《Automatica》上以長文（Regular Paper）形式發表題為“Verification of Current-State Opacity and Opaque Time for Labeled Time Petri Net Systems”的研究論文。該論文第一作者為我校2022級碩士研究生王宇婷，其導師黎良擔任通訊作者，武漢科技大學為論文的第一完成單位。

隨著各類信息系統復雜度的不斷提升以及外部攻擊手段的日益復雜，如何確保系統中的敏感信息不被未授權訪問或泄露，成為信息安全領域亟待解決的關鍵問題。不透明性（Opacity）作為衡量系統信息安全的重要指標，其研究旨在確保系統中的關鍵信息（如秘密狀態或行為）對未授權觀察者保持不確定，從而有效防止信息泄露?，F有工作多聚焦于以邏輯離散事件系統模型的不透明性研究，而嵌入時間信息的離散事件系統的狀態不透明性會呈現動態變化特征，導致傳統方法難以驗證這類系統的不透明性。為了解決這一復雜問題，該論文利用標簽時間Petri網系統模型，提出了一種賦時離散事件系統的當前狀態不透明性驗證方法，避免對給定時刻內生成的所有可觀測標簽序列進行驗證。同時，作者基于修正狀態類圖提出了一種不透明時間長度的計算方法，為時間相關系統的隱私保護和安全防護提供了有效理論支持和技術手段。

《Automatica》是國際自動控制聯合會（International Federation of Automatic Control，IFAC）主辦的旗艦期刊，對研究工作的前沿性和創新性要求嚴苛，在全球自動化與控制工程學術界享有極高聲譽。該刊與《IEEE Transactions on Automatic Control》被公認為國際控制與自動化領域的兩大頂級期刊，也是衡量各高?？刂祁I域學術水準的標志性期刊。

值得關注的是，這是我校研究生首次以第一作者身份在該頂級期刊發表長文。該成果的發表是武漢科技大學持續推進研究生創新人才培養的結果，彰顯了人工智能與自動化學院研究生培養質量和研究生導師隊伍的建設水平。（人工智能與自動化學院）

論文鏈接：https://doi.org/10.1016/j.automatica.2025.112241