IEEE CRESS 2025“內生安全基礎理論與應用論壇”在南京紫金山實驗室成功舉辦

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

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

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

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

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

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

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

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

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