报告人：郭长国、延志伟、武建亮

报告地点：淦昌苑D座320

报告时间：2025-05-26 15:30-17:30

报告一：软件工厂发展建设分析

报告人：郭长国

报告简介：

早在软件工程发端之前，软件工厂就一直是软件生产的理想追求之一，但是多数时间软件工厂研究和建设都比较沉寂，直到新型作战概念的不断提出，以及安全的日益重要，软件工厂才重新回到人们的视野。软件工厂被认为是国防领域软件现代化的重要手段，美军已经在多个军种实践了软件工厂模式，并发布了一系列规范性指南。软件工厂是软件开发、运维、安全等软件全寿命周期以及一系列功能剖面的数字化、自动化和一体化，是人、组织、过程和文化的集合，更是国防领域软件大规模协作生产的一种新范式。报告介绍了软件工厂的简要发展历程、概念体系、主要过程、重要活动以及在国防领域内论证和推进软件工厂实践中的相关问题和启示。

报告人简介：

郭长国，国防科技大学计算机科学与技术专业博士，原总参第六十一研究所博士后，正高级工程师，现任北京大数据先进技术研究院副院长、中国信息安全研究院总工。郭长国长期在国防领域从事信息化总体论证、国防信息基础设施、网络中间件、大数据、自主可控生态等研究工作，曾担任多个型号项目总师。获得军队和省部级科技进步一等奖3项，二等奖4项。

报告二：互联网域名服务体系及其安全保障

报告人：延志伟

报告简介：

作为互联网关键基石，基础资源实现了互联网互联互通、保障了互联网高可扩展性、支撑了互联网应用创新。其中，域名为互联网海量资源和服务提供了可读性强、易于记忆的标识，这种便捷的命名系统支撑了上层应用的普及推广。本报告梳理了域名系统的发展历史、运行机理和治理体系，并从多个维度对保障域名系统安全稳定的关键技术进行了分析。

报告人简介：

延志伟，研究员。现任中国互联网络信息中心技术发展所研发三部主任。长期从事下一代互联网体系架构研究和基础资源治理等工作，先后获北京市“科技新星”称号、工信部“创新之星”青年岗位建功大赛一等奖、工信“杰出青年”称号等多项荣誉。

延志伟在我国域名系统安全保障体系建设、国家码号资源安全管理体系建设及下一代信息化技术预研方面取得一系列首创性重大突破；牵头承担国家重点研发计划青年科学家项目、国家自然科学基金等多个国家级项目；主导和参与国内行业和国家标准30余项，主导制定IETF国际标准RFC8191及RFC9455/BCP238（为我国专家主导的第一项IETF最佳实践类国际标准）；累计发表学术论文90余篇，获国内外授权专利30余项，主导和参与编写专著2部；担任国际组织ICANN专家组成员，工业互联网产业联盟理事，CCSA TC614标识与映射组副组长等行业组织职务。

报告三：低功耗蓝牙（BLE）设计和实现中的可追踪性漏洞的发现

报告人：武建亮

报告简介：

低功耗蓝牙（BLE）被广泛应用于连接各类设备和外设。尽管其设计者尝试通过MAC地址随机化来降低设备被追踪的可能性，但此前尚未对整个BLE协议的不可追踪性进行过全面分析。本报告将涵盖如何构建一个BLE的不可追踪性的形式化模型，以分析协议规范中可能允许用户被追踪的方式。该模型将不可追踪性问题转化为可达性问题，以避免出现假阳性攻击。利用该模型，我们发现了四个此前未知的漏洞，并在此基础上提出了八种被动或主动的设备追踪攻击。我们进一步在13种不同设备中验证了这些漏洞，并发现每台设备至少存在上述四个漏洞中的两个。通过本研究，我们证明在多种常见使用场景下，BLE设备仍然可能被攻击者追踪。

报告人简介：

武建亮博士毕业于美国普渡大学（Purdue University），现任加拿大西蒙菲莎大学（Simon Fraser University）助理教授。他的研究兴趣为系统安全，特别是智能系统（如物联网）多方通信及交互过程中引起的安全和隐私问题。他的多项研究成果发表在系统安全顶级会议（例如IEEE S&P和USENIX Security）上，获得WOOT 2020的最佳论文奖、入围CSAW 2020应用研究竞赛的决赛（Top 10），并获得西蒙菲莎大学院长杰出奖。同时他的研究也注重应用性，累计发现多项高危CVE且获得奖金，并获得多家国际媒体报道。

邀请人：郭山清

审核人：魏普文