面向分组生存周期的新型动态网络真实可信基础研究
——本成果受国家杰出青年科学基金支持

        没有网络安全就没有国家安全。互联网作为网络空间最重要的基础设施，其初始设计缺乏安全可信基础，面临各类重大安全威胁。项目从互联网的工作原理出发，围绕 “新型动态网络中分组生存周期真实可信需求与网络结构复杂性、开放性、时空动态性之间的矛盾”这一科学问题，以确保“网络策略规范与动态行为一致性”为目标，从传送协议层间交互过程与标准语义一致、分组转发路径与路由宣告一致、连接建立目标和连接动态效果一致、应用操作意图和应用实际行为一致四个方面，系统研究了互联网体系结构真实可信的基础理论和关键技术，提出了层间交互、语义一致的协议栈安全漏洞检测与防御方法，层次验证、随机标识的路由交换行为正确性检测机制，智能分析、特征压缩的多域安全可信互连机制和协作学习、隐私增强的未知风险协同防御体系，保证了分组全传输周期中协议交互的正确处理、分组转发的真实可信、传送连接的安全可信和应用行为的真实可信，整体增强了互联网提供正常和有序服务的能力。        
        基于上述理论成果，设计实现了国内首台支持数据面智能化可编程的核心交换机，搭建了真实源地址验证平台和协作学习平台，开展了关键技术标准化、产品化和规模化应用。
        发表高水平论文104篇（CCF A类和SCI 1区共68篇），在计算机网络两大顶会和安全四大顶会上共发表、录用相关论文20篇，为清华大学相关学科CSRanking排名世界第一做出了重要贡献（仅考虑计算机网络和网络安全学科方向）。获得2023年国际基础科学大会前沿科学奖、安全顶会USENIX Security 2023杰出论文奖、IEEE/ACM IWQoS 2021最佳论文奖、安全顶会ACM CCS 2020最佳论文提名。申请国家发明专利43项（授权25项）、美国发明专利10项。牵头制定CCSA行业标准12项（已获批8项），出版专著4本，发布白皮书4部。获中国电子学会特等奖1项，省部级和一级学会一等奖2项。入选IEEE Fellow和中国电子学会会士。培养博士生22人、硕士生22人。        
        发现了协议栈多个隐蔽高危漏洞，获得CVE和CNVD 漏洞编号100余个、原创性漏洞证明20余份、30余家国际知名组织和设备厂商致谢。成果在国家计算机网络与信息安全管理中心应用，并在华为、新华三、奇安信等企业的核心路由器和安全设备中被采用，全面支撑了蚂蚁支付宝平台的风险防控，广泛应用于电力、交通、金融等各行业，产生重大经济效益和社会效益。