[控场AI]
· 8 分钟阅读· 4,055 字

顶级黑客的规则哲学:从CTF到DARPA AI攻防赛

顶级黑客的规则哲学:从CTF到DARPA AI攻防赛

微软研究院Mike Walker从黑客到CGC负责人,谈规则、攻防双用途与信任。

本文基于微软研究院播客对Mike Walker的访谈,回顾了他从俄亥俄州拆解少年到网络安全研究者的历程,重点讲述他主导DARPA网络大挑战(CGC)的经历——世界首场全自动机器黑客锦标赛。Walker指出CGC本质是专家系统竞赛,与当今AI有本质差异。他质疑红蓝二分法,认为攻防技能在原子层面双用途,紫队才是现实。他还介绍了Project Freta通过云硬件直接采集内存信号规避篡改,并强调安全系统每次提要求都在消耗信任,信任耗尽则安全机制崩塌。最后他分享了对团队社交智能和规则社会属性的思考。

规则是黑客最该吃透的东西。微软研究院研究经理 Mike Walker 在 Microsoft Research Podcast 中说得很直白:"你必须理解规则,才能做你想做的事。"这位曾主导 DARPA 网络大挑战(Cyber Grand Challenge,CGC)的网络安全研究者,把规则看作一种社会建构——而理解规则背后的社会语境,比机械遵守或对抗更重要。

从俄亥俄州的拆解少年到"被国家找到"的黑客

Walker 在俄亥俄州哥伦布市长大,父亲是"半个科学家、半个风险投资人",经常带回家工业设备丢给他:氦氖激光器、高压电源,附带安全警告后就走人。他拿着这些器材复刻迈克尔逊-莫雷实验,也花大量时间折腾 Apple II——试图把它接进自己生活的各种角落。

上大学前他就在运营 BBS(电子公告板系统),用拨号调制解调器连接一个个"自成宇宙"的小系统。他自己复盘这段经历时说,那时他其实"一直在做网络安全,只是不知道它叫什么"。

转折点是 2001 年 9 月 11 日。他在马里兰一家做电信技术的创业公司工作,妻子当天在华盛顿特区,电话全部瘫痪,公司上空有 F-16 飞过。此后首都开始了一场针对懂计算机安全的人才搜寻——"那场搜寻找到了我"。

据 Microsoft Research Podcast 主持人 Weisheng Liu 的描述,Walker 后来成为 DEF CON CTF 参赛群体的核心成员。这个圈子的氛围被他形容为"咖啡馆式环境,所有人都在变强",会推着人快速上升。

CTF 与 CGC:让机器人踢足球

DEF CON 的 Capture the Flag 和夏令营游戏形似而神不同。八到十六支队伍各守自己的旗(数据或对网络系统的控制权),同时尝试攻入对手服务器取旗。关键在于:所有被保护的软件都是主办方为当届比赛专门写的,选手坐下的那一刻才第一次见到,谁先读懂软件,谁就能同时获得防守和进攻的能力。

DARPA 的 Dan Kaufman 和 Norm Whitaker 看到人类打 CTF 后提出的问题是:能不能让机器来打?这就是 CGC 的起点——世界上第一场全自动机器黑客锦标赛。

Walker 强调 CGC 与当下的 AI 有本质差异:它是一场"专家系统竞赛",机器学习并非关键角色,真正重要的是把一整套自主工具融合起来完成任务。而今天被称为"harness"的东西——例如 Team Atlanta 成员在 AIXCC 中构建的 M-Dash 网络推理系统——在 2016 年的语境下就会被叫作专家系统。

CGC 全程在气隙隔离环境中由自主系统运行,失败了也没有人能进去重启。Walker 回忆,在它真正跑通之前有三年半时间,任何人问他能不能成,他的答案都是"等着看吧"。2016 年他接受《纽约时报》采访时说,让网络技术更安全是"文明级别的挑战"——他认为这句话今天依然成立,甚至更甚,因为文明对网络系统的依赖只增不减。

So I think I mean, I'm kind of like a lemming that just

DEF CON CTF 是全球最具影响力的黑客攻防夺旗赛,每年在拉斯维加斯的 DEF CON 黑客大会上举行。比赛形式通常是攻防对抗(Attack-Defense):各队维护自己的服务,同时攻击对手的服务以窃取“旗标”(Flag,一段证明成功入侵的字符串)。它与 Jeopardy 式解题赛不同,更强调实时对抗和自动化工具。DEF CON CTF 长期被视为培养顶级安全人才的“实战演练场”,许多参赛者后来进入安全研究机构或创办安全公司。

气隙隔离(Air-gapped) 指计算机网络与外部网络(包括互联网)在物理上完全隔离,不通过任何有线或无线方式连接。这种环境常用于高安全需求的场景,如军事、关键基础设施。在 CGC 中,所有机器必须在气隙环境中自主运行,意味着参赛系统无法依赖外部人工干预或云端资源,必须完全依靠自身完成漏洞发现、利用和修复。

红队、蓝队,以及为什么真正存在的是紫队

Walker 对红蓝二分法持保留态度。他的论证很简洁:给一个程序起名,取决于谁握着钥匙。加密全部文件再在需要时解锁的程序,是加密工具还是勒索软件,取决于钥匙在谁手里;允许远程登录并控制的程序,是恶意软件还是远程管理工具,同样取决于钥匙归属。

在原子层面,网络攻防能力是双用途的。攻击者一旦入侵,就必须保护自己的这次入侵——横向移动、数据外泄的全程都在避免被抓;防守方的日志分析工具本身也可能成为攻击目标,而且防守方要找漏洞、写利用证明,这本身就是攻击技能。所以紫队的含义不是折中,而是承认攻防共享同一套技能和工具。

Walker 领导的团队 New Security Ventures 把自己定位为"高度进攻感知的防御工具开发"——造防御工具,但造的时候就知道它们是靶子。

红队(Red Team) 通常指模拟攻击者,试图发现并利用系统漏洞;蓝队(Blue Team) 则负责防御、检测和响应。这种划分源于军事演习,后被网络安全行业广泛采用。然而,现实中的攻防界限往往模糊:攻击者需要保护自己的据点(如建立持久化、清除日志),防守方也需要模拟攻击以验证防御。紫队(Purple Team) 的概念正是为了打破红蓝对立,强调攻防协同——红队和蓝队共享情报、共同改进防御,而不是各自为战。Walker 的观点更进一步:攻防技能本质同源,区分只在于使用意图和授权。

Project Freta:绕过篡改的云规模内存取证

他用一个潜入商店的比喻解释"篡改":与其苦练躲开摄像头和激光线的高难度动作,不如大摇大摆走进去、切断摄像头画面、换成播放空店录像的假信号源。在计算机安全中,篡改往往是攻击者更省力的路径。

Project Freta 以居里夫人出生地命名,目标是在云规模上解决这个问题:防守方获取遥测信号时,不依赖那些可能被删除或篡改的软件,而是直接从云硬件采集信号。这是一个从零构建、专为分析来自云硬件的内存而设计的全系统内存分析环境。

至于公开技术细节是否会帮到攻击者,Walker 的区分是:"你可以公开一项技术,也可以公开它的部署。我公开了技术,但没有透露部署。"他进一步指出攻防博弈论的有趣之处——攻击者会根据对防守方行为的感知调整策略,于是"宣称拥有某种能力""确实拥有""宣称与实际的错位"都成为可用的策略。

Maybe I do some some kung fu

内存取证(Memory Forensics) 是数字取证的一个分支,指对计算机内存(RAM)中的易失性数据进行采集和分析,以发现运行中的进程、网络连接、加密密钥、恶意代码等痕迹。与磁盘取证不同,内存中的数据在断电后即消失,且更难以被攻击者持久化篡改。在云环境中,内存取证面临额外挑战:虚拟机可能被租户控制,hypervisor 层也可能被攻击。Project Freta 的目标是从云硬件层面直接获取内存快照,绕过可能被攻陷的客户机操作系统,从而获得更可信的遥测数据。

规则、信任与团队智力

回到规则话题,Walker 提出了一个常被安全从业者忽略的等式:安全系统每一次向用户提要求,都是在索取信任;信任是稀缺品,一旦滥用,安全机制本身就会崩塌。因此需要在即时裁决之外,建立能衔接社会规范的、有韧性的判定方式。

他和主持人玩过一款叫 No Vehicles in the Park 的规则判定游戏——用"公园内禁止车辆"这条规则去判断国际空间站飞越公园是否违规。Walker 通常难以超过 50% 的一致率,主持人第一次就拿到了 96%,他打趣说这像是"被时代精神同化了"。

在谈到领导力时,Walker 提到一位导师给过他的建议:你不同意的那些决策,可能只是基于你没有的信息。此后他听到任何决策,都会先问"他们知道什么我不知道的"。他还从一次 CTF 资格赛中意识到,团队里没人知道谁在做已经解出的题、谁缺工具、谁该和谁配对——"我可以量化这个房间里的智商,却量化不了我们协作得有多好"。这件事让他长期关注技术团队中的社交智能,以及放弃个人英雄叙事。

自行车、规则与自我

Walker 因篮球伤膝转向骑行,后来迷上在"正常人不会骑车的陡峭地形"里骑山地车。他按结构化训练计划备战 High Cascades 100 英里耐力赛,从一月练到七月。有意思的是,他承认自己对训练计划的遵守比对一般规则严格得多,以至于被告诫不要变成"训练机器人"——他一度长期使用骑行台的 ERG 模式,让机器决定该用多大功率踩踏,后来才学着回到自由骑行、听身体的反馈。

那次比赛他完赛名次是 329 名参赛者中的第 69 名。至于骑行中的痛苦,他的划分很干脆:真正的痛苦是赛前一天的清单、物流和爆胎后到处找车店补胎;一旦出发,剩下的部分"就是最好的部分"。

如果没进网络安全行业,他说自己百分之百会去当科幻作家——他推荐了 Haldeman 的《The Forever War》。

And I want the audience to know, because High Cascades,

安全和规则从来不是纯技术问题。Walker 的经历给出的线索是:吃透规则的社会属性、承认攻防技能的双用途本质、把信任当作会耗尽的资源来经营——这些原则既能解释一场机器黑客锦标赛为何重要,也能解释一个团队为什么赢。

#黑客思维#DARPA Cyber Grand Challenge#CTF 网络安全竞赛#Project Freta#红队蓝队紫队#AI 网络安全#微软研究院
分享:

相关推荐