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注入防护、动态异构冗余架构防御机制、基于权重分散的弹性仲裁调度、大语言模型安全、强化学习驱动的网络渗透测试、信息物理系统切换控制等多个前沿方向的最新研究成果，充分展现了内生安全领域的学术创新活力和广阔的发展前景。

本次论坛为专家学者搭建了开放包容的学术交流平台，促进了内生安全基础理论与应用实践的深度融合，对推动网络安全领域的理论创新与技术进步具有重要意义。与会专家一致认为，内生安全作为中国原创的安全范式，在应对未知威胁、提升系统韧性方面展现出独特优势和广阔前景，期待通过持续的学术探索和产业实践，为构建更加安全可信的数字世界贡献力量。