安全与密码学2017usenix.org
预测、解密与滥用 WPA2/802.11 组密钥
Predicting, Decrypting, and Abusing WPA2/802.11 Group Keys
进阶 · 约 60 分钟读完前置知识：WPA2/802.11 协议基础、随机数与熵源概念、网络安全基础
导读
这篇 USENIX Security 2016 论文研究 WPA2/802.11 组密钥（组临时密钥 GTK）的可预测性与滥用问题：作者发现部分设备用系统运行时间等弱熵源初始化随机数生成器来生成组密钥，甚至通过未加密广播直接泄露运行时间，使攻击者可以预测、解密并伪造组播流量。该论文与随后爆出的 KRACK（密钥重装攻击）同属对 WPA2 安全性的系统性打击。
HN 关注点：是因为论文发布恰逢 KRACK 漏洞披露前夕，WPA2 被证实存在严重可利用缺陷，大量网络管理员面临紧急打补丁的现实压力。
后来怎么样
该研究揭示了 WPA2 组密钥的弱熵问题，与随后的 KRACK 攻击共同促使 Wi-Fi 联盟和设备厂商大规模修补 WPA2 实现，推动了 802.11 安全协议的改进。
HN 评论精选
这几条评论里：质疑 1 补充 3
补充指出 WPA2 相关 CVE 集中爆发，管理员将面临紧急处置
WPA2 完蛋了。这里有一批会让很多网络管理员痛恨周一的 CVE 列表（链接），以及相关背景资料（密码学电子印本论文链接）。
evgen查看英文原文
WPA2 is toast. Ref to the CVEs that will make a lot of network admins hate Monday: https://twitter.com/nick_lowe/status/919527451570638848 And some background: https://eprint.iacr.org/2016/475.pdf
质疑质疑用系统运行时间做密钥熵源并明文广播的设计，怀疑是故意留的后门
“我们用系统运行时间初始化随机数生成器，然后用它生成加密密钥”——真的吗？！“我们还把系统运行时间放在未加密的广播消息里公开，省得你费劲去暴力破解”。难道没人对这些东西做安全审查吗，还是这些弱点是故意留的？在这里，无能和恶意之间的界限真的很模糊……
londons_explore查看英文原文
"We initialize the random number generator with the system uptime, then use it to make crypto keys" - really?!? "We also publish the system uptime in an unencrypted broadcast message to save you the effort of even bruteforcing it". Does nobody do security reviews on this stuff, or are these weaknesses there deliberately? The line between incompetence and malice really is thin here...
补充提醒这不是旧闻，次日将披露的 KRACK（nonce 重用）才是重头戏
这是 2016 年的论文。明天的细节显然是关于在大多数 WPA2 实现中强制 nonce 重用。别被日期骗了，以为这是被翻出来的旧闻！
ealexhudson查看英文原文
This is a 2016 paper. Tomorrow's details are apparently about forcing nonce reuse in most WPA2 implementations. Don't let the date fool you into thinking it's old news being discussed!
补充补充一份关于 KRACK 事件的现状总结资料
这里有一篇对当前局势的很好的总结（链接）。
sengork查看英文原文
Here is a good summary of the situation right now: https://www.alexhudson.com/2017/10/15/wpa2-broken-krack-now/
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2017Hacker News 讨论帖243 分 · 49 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选