近日，集團碩士研究生在國際控制領域頂級期刊《Automatica》上以長文（Regular Paper）形式發(fā)表題為“Verification of Current-State Opacity and Opaque Time for Labeled Time Petri Net Systems”的研究論文。該論文第一作者為我校2022級碩士研究生王宇婷，其導師黎良擔任通訊作者，永利集團88304官網(wǎng)為論文的第一完成單位。

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

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

值得關注的是，這是我校研究生首次以第一作者身份在該頂級期刊發(fā)表長文。該成果的發(fā)表是永利集團88304官網(wǎng)持續(xù)推進研究生創(chuàng)新人才培養(yǎng)的結(jié)果，彰顯了學院研究生培養(yǎng)質(zhì)量和研究生導師隊伍的建設水平。

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