IEEE CRESS 2025“內(nèi)生安全基礎(chǔ)理論與應(yīng)用論壇”在南京紫金山實(shí)驗(yàn)室成功舉辦

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

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

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

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

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

季一木教授以“內(nèi)生安全中DHR編碼和防御理論及應(yīng)用”為題，匯報(bào)了基于動(dòng)態(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)生安全理論應(yīng)用于編碼機(jī)制、蜜罐部署等實(shí)際場(chǎng)景的探索實(shí)踐。

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

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

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