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

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

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

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

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