山東大學網絡空間安全學院在系統(tǒng)安全研究領域取得重要進展。由學院師生完成的兩篇高水平學術論文，被系統(tǒng)安全領域的國際頂級會議USENIX Security 2023正式錄用。這一成果標志著學院在網絡與信息安全，特別是軟件開發(fā)安全方向的研究達到了國際前沿水平，展現了學院扎實的科研實力和人才培養(yǎng)成效。

USENIX Security Symposium（USENIX安全研討會）是信息安全領域歷史悠久、享有盛譽的頂級學術會議之一，與IEEE S&P、ACM CCS并稱為系統(tǒng)安全領域的三大旗艦會議。其錄用標準極為嚴格，每年錄用率通常較低，論文的錄用代表了研究成果在創(chuàng)新性、技術深度和實際影響力方面獲得了國際同行專家的高度認可。

據悉，本次被錄用的兩篇論文均聚焦于網絡與信息安全的核心領域——軟件開發(fā)安全。一篇論文深入探究了在復雜軟件供應鏈環(huán)境下，新型代碼漏洞的自動化挖掘與防御機制。研究團隊提出了一種創(chuàng)新的靜態(tài)與動態(tài)相結合的混合分析方法，能夠更高效、更精準地識別開源組件及自研代碼中的潛在安全風險，對于提升大型軟件項目的內生安全性具有重要價值。

另一篇論文則關注于軟件開發(fā)實踐中的安全屬性驗證問題。針對當前廣泛采用的開發(fā)框架和編程范式，研究團隊設計并實現了一套輕量級的形式化驗證工具鏈。該工作能夠幫助開發(fā)者在軟件構建的早期階段即發(fā)現設計邏輯上的安全缺陷，將安全問題“左移”，從而顯著降低后期修復成本并提升軟件產品的整體安全質量。這兩項研究工作均體現了從理論創(chuàng)新到實踐應用的緊密結合。

山東大學網絡空間安全學院自成立以來，始終面向國家網絡空間安全的重大戰(zhàn)略需求，堅持基礎研究與工程應用并重，在密碼學、軟件安全、系統(tǒng)安全、網絡安全等多個方向布局深耕。學院依托山東大學青島校區(qū)（藍谷）的區(qū)位與創(chuàng)新優(yōu)勢，積極營造一流的科研環(huán)境，鼓勵師生挑戰(zhàn)前沿科學問題，并致力于將科研成果轉化為維護網絡空間安全的有力工具。

此次兩篇論文同時被USENIX Security錄用，是學院長期積累、潛心鉆研的必然結果。它不僅是對相關師生科研能力的肯定，也進一步提升了山東大學在網絡空間安全領域的國際學術聲譽和影響力。學院將繼續(xù)聚焦核心關鍵技術，深化產學研合作，為培養(yǎng)更多卓越網絡安全人才、產出更多原創(chuàng)性引領成果、服務國家網絡安全建設而不懈努力。