2025年11月27日，作為第五屆網(wǎng)絡(luò)空間內(nèi)生安全學術(shù)大會的重要分論壇，同時也是IEEE網(wǎng)絡(luò)彈性與內(nèi)生安全（International Conference on Cyber Resilience and Endogenous Safety & Security，CRESS）國際會議的專題分會場，內(nèi)生安全基礎(chǔ)理論與應用論壇在南京紫金山實驗室成功舉辦。本次論壇由紫金山實驗室與東南大學網(wǎng)絡(luò)空間安全學院聯(lián)合主辦，來自國內(nèi)外高校、科研機構(gòu)的專家學者齊聚一堂，圍繞網(wǎng)絡(luò)空間安全領(lǐng)域的前沿理論與關(guān)鍵技術(shù)展開深入交流。

論壇主席、國家數(shù)字交換系統(tǒng)工程技術(shù)研究中心賀磊副研究員致歡迎辭。他指出，當前數(shù)智化技術(shù)正加速向關(guān)鍵基礎(chǔ)設(shè)施滲透，但傳統(tǒng)網(wǎng)絡(luò)安全范式正面臨前所未有的挑戰(zhàn)。中國原創(chuàng)的內(nèi)生安全范式通過動態(tài)異構(gòu)冗余架構(gòu)的創(chuàng)新構(gòu)造，實現(xiàn)了從“發(fā)現(xiàn)已知威脅”到“管控未知風險”、從“亡羊補牢”到“未卜先知”的根本性轉(zhuǎn)變，為破解未知安全威脅防護這一世界性難題提供了創(chuàng)新答案。

論壇由東南大學網(wǎng)絡(luò)空間安全學院曹玖新教授主持。本次論壇邀請信息工程大學魏強教授、浙江大學控制學院王竟亦研究員、南京郵電大學高性能計算與大數(shù)據(jù)處理研究所副所長季一木教授、東南大學網(wǎng)絡(luò)空間安全學院青年首席教授邱遠作特邀報告，分享各自在網(wǎng)絡(luò)空間安全領(lǐng)域的最新研究成果與實踐經(jīng)驗。

魏強教授以“具身智能系統(tǒng)的安全感構(gòu)成與內(nèi)生安全問題初探”為題，探討了具身智能面臨的安全威脅及其復雜性。以“安全感”這一核心概念出發(fā)，闡述了人類與具備物理實體、數(shù)字智能和環(huán)境交互能力的具身智能系統(tǒng)協(xié)同過程中的信任建立機制，并分析了如何通過內(nèi)生安全實現(xiàn)從被動防御到可驗證安全的演進路徑。

王竟亦研究員作了題為“Formal Methods for Security: From Design, Implementation, to Runtime Monitoring and Beyond”的報告，介紹了形式化驗證在安全協(xié)議設(shè)計、操作系統(tǒng)內(nèi)核驗證、區(qū)塊鏈實時監(jiān)控以及人工智能安全等領(lǐng)域的研究進展。他通過借助大模型輔助安全協(xié)議形式化建模、實現(xiàn)設(shè)計到代碼層面的端到端安全驗證等創(chuàng)新工作，展示了形式化方法為系統(tǒng)提供可證明安全保障的能力。

季一木教授以“內(nèi)生安全中DHR編碼和防御理論及應用”為題，匯報了基于動態(tài)異構(gòu)冗余（DHR）架構(gòu)的編碼體系優(yōu)化、擬態(tài)防御能力提升與裁決優(yōu)化，以及多模態(tài)網(wǎng)絡(luò)環(huán)境下內(nèi)生防御策略協(xié)同等方面的研究成果，展示了將內(nèi)生安全理論應用于編碼機制、蜜罐部署等實際場景的探索實踐。

邱遠教授作了題為“差分隱私下的數(shù)據(jù)查詢處理”的報告，介紹了差分隱私在聚合查詢截斷算法、DBSCAN聚類算法以及流式數(shù)據(jù)處理等方面的研究進展。他深入闡述了如何在保證嚴格隱私保護的前提下，通過創(chuàng)新算法設(shè)計降低誤差、提升可用性，為隱私保護數(shù)據(jù)分析提供了理論支撐和技術(shù)路徑。

論壇設(shè)置了豐富的論文交流環(huán)節(jié)，來自IEEE CRESS國際會議錄用的論文作者——包括紫金山實驗室、嵩山實驗室、東南大學、復旦大學等國內(nèi)多家高校和科研機構(gòu)的青年學者分享了他們在SQL注入防護、動態(tài)異構(gòu)冗余架構(gòu)防御機制、基于權(quán)重分散的彈性仲裁調(diào)度、大語言模型安全、強化學習驅(qū)動的網(wǎng)絡(luò)滲透測試、信息物理系統(tǒng)切換控制等多個前沿方向的最新研究成果，充分展現(xiàn)了內(nèi)生安全領(lǐng)域的學術(shù)創(chuàng)新活力和廣闊的發(fā)展前景。

本次論壇為專家學者搭建了開放包容的學術(shù)交流平臺，促進了內(nèi)生安全基礎(chǔ)理論與應用實踐的深度融合，對推動網(wǎng)絡(luò)安全領(lǐng)域的理論創(chuàng)新與技術(shù)進步具有重要意義。與會專家一致認為，內(nèi)生安全作為中國原創(chuàng)的安全范式，在應對未知威脅、提升系統(tǒng)韌性方面展現(xiàn)出獨特優(yōu)勢和廣闊前景，期待通過持續(xù)的學術(shù)探索和產(chǎn)業(yè)實踐，為構(gòu)建更加安全可信的數(shù)字世界貢獻力量。