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

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

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

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

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