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

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

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

值得關(guān)注的是，這是我校研究生首次以第一作者身份在該頂級(jí)期刊發(fā)表長(zhǎng)文。該成果的發(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