安全与密码学2024usenix.org
Framing Frames：通过操纵传输队列绕过 Wi-Fi 加密
Framing Frames: Bypassing wi-fi encryption by manipulating transmit queues
进阶 · 约 60 分钟读完前置知识：802.11 协议基础、WPA2/WPA3 加密机制、网络安全基础
导读
这篇论文（USENIX Security 2023）提出了一种名为 Framing Frames 的攻击，通过操纵 Wi-Fi 芯片的发送队列来绕过 WPA2/WPA3 加密，实现对加密流量的注入或重定向。攻击利用的是 802.11 标准中发送队列机制的设计缺陷，而非加密算法本身的问题。
HN 关注点：Wi-Fi 安全标准屡屡被绕过的问题，以及这类攻击对实际用户和厂商补丁工作的影响。
HN 评论精选
这几条评论里：支持 1 质疑 1 亲历 1
质疑质疑为何 Wi-Fi 加密屡被绕过，以及普通用户是否真的需要在意这类攻击
我实在不理解这两点：一是 Wi-Fi 安全标准出了这么多版本，为什么还有能完全绕过加密的攻击？这么多研究规范的人研究了几十年，怎么没在设计/实现阶段发现？二是既然传输层本来就被视为不可信（有 HTTPS 兜底），人们连“不安全”网络也连了几十年也没出大事，99% 的普通用户为什么要关心这些问题？每一版 WPA 增加的安全性对普通人真的有意义吗？
dataflow查看英文原文
For the life of me I don't understand either of these: - Why, after so many darn versions of Wi-Fi security standards, we still have attacks that just bypass encryption entirely. How do these not get caught during the design/implementation with so many people studying the specs for decades? - Why 99% of end-users should even care about these issues from a security standpoint, given they already have https and such (because the transport is already assumed to be untrusted), and given that people have been connecting to "unsecured" networks for decades now, without the sky falling. Is the added security of each version of WPA even relevant to normal people?
亲历一线工程师吐槽：每次此类漏洞发现后，厂商补丁集成测试负担沉重
我敢说 Mathy Vanhoef 专门致力于让我的日子不好过。每次他发现这类 Wi-Fi 安全漏洞，我们都得花几周甚至几个月来集成和测试厂商补丁。
linuxlizard查看英文原文
I swear Mathy Vanhoef has dedicated his life to making my life miserable. Every time he finds these wifi security problems, we get to spend weeks/months integrating and testing vendor patches.
支持认为 Wi-Fi 安全性从根子上就不可靠
从安全角度看，Wi-Fi 一直都是一堆烂摊子，而且可能永远都是。
bell-cot查看英文原文
Security-wise, Wi-Fi has always been a steaming heap. And probably always will be.
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2024Hacker News 讨论帖155 分 · 53 评
同领域还值得读
如何入侵一台已关机的电脑：在 Intel ME 中运行未签名代码
How to hack a turned-off computer, or running unsigned code in Intel ME
这篇 Black Hat 2017 白皮书讨论 Intel Management Engine（ME）的安全问题：如何在 ME 中运行未签名代码，以及攻破处于关机状态的电脑的相关…
安全与密码学2017 · 543 分 · 107 评专业 · 约 40 分钟编辑精选比特币：一种点对点的电子现金系统（2008）
Bitcoin: A Peer-to-Peer Electronic Cash System (2008)
中本聪 2008 年发表的比特币白皮书，提出了无需可信第三方的点对点电子现金系统。
安全与密码学2017 · 536 分 · 394 评入门 · 约 45 分钟编辑精选GPRS 加密算法 GEA-1 的密码分析表明存在故意弱点
Cryptanalysis of GPRS Encryption Algorithms GEA-1 suggest intentional weakness
首次公开了对 GPRS 加密算法 GEA-1 和 GEA-2 的密码分析攻击。
安全与密码学2021 · 487 分 · 107 评专业 · 约 90 分钟编辑精选Signal 消息协议的形式化安全分析
A Formal Security Analysis of the Signal Messaging Protocol
用形式化方法分析 Signal 消息协议（TextSecure）的安全性：作者在多阶段密钥交换模型下，借助自动化证明工具对协议的密钥协商与 Double Ratchet 密钥更新…
安全与密码学2016 · 353 分 · 230 评专业 · 约 120 分钟编辑精选A2：模拟恶意硬件
A2: Analog Malicious Hardware
论文研究如何在芯片设计阶段植入模拟电路形式的恶意硬件后门，使其难以被常规检测发现。
安全与密码学2016 · 315 分 · 94 评专业 · 约 75 分钟编辑精选