安全与密码学2019finitestate.io
关于华为 5G 中所发现技术漏洞的报告
Report on the technical vulnerabilities found in Huawei 5G
进阶 · 约 45 分钟读完前置知识：C/C++ 内存安全、静态代码分析、网络设备与固件基础
导读
这是一份由安全公司 Finite State 发布的报告，用静态代码分析工具扫描华为网络设备（报告标题写的是 5G，但实际样本包含核心路由器等）的固件/源码，统计其中的内存安全类缺陷。报告最受关注的结论是：55% 的受测设备至少存在一个"潜在后门"，并称华为工程师多次把 memcpy 等不安全函数包装成带 _s 后缀的"安全版"却未加任何检查。
HN 关注点：HN 读者既关心华为设备是否真有安全隐患，也在质疑报告的方法论——样本可比性、"后门"的定义是否被夸大，以及这是否是一场针对单一厂商的舆论攻势。
HN 评论精选
这几条评论里：质疑 4
质疑引用报告核心指控，并追问这是编码水平问题还是蓄意行为。
"报告称：在数十处场景中，华为工程师把已知不安全的函数（如 memcpy）伪装成"安全"版本（memcpy_s）——他们创建了用"安全"命名的包装函数，却没有任何安全检查。这导致代码中出现数千处易受攻击的状态。" 这种事到处都是。到底只是程序员犯蠢，还是有意为之？
Noxmiles查看英文原文
"On dozens of occasions, Huawei engineers disguised known unsafe functions (such as memcpy) as the “safe” version (memcpy_s) by creating wrapper functions with the “safe” name but none of the safety checks. This leads to thousands of vulnerable conditions in their code." Things like this everywhere. Just stupid programmers or method?
质疑批评报告的对比方法不公平：设备类别不对等，且未覆盖 5G 核心网元。
一份贴着 5G 标签的报告，里面讲的却是核心路由器，这很奇怪。它们确实有作用，但报告完全没有聚焦移动交换、网关、HLR、信令漏洞等，令人费解。再看它对比的设备：华为 CloudEngine 12800 可扩展到 2000×25Gbit 或 500×40Gbit，而 Juniper EX4650 交换机只能扩展到 48×25Gbit。恕我直言，这是拿苹果比橘子籽——运营商级交换机的复杂度远高于企业级交换机，攻击面也大得多。
heisenbit查看英文原文
It seems odd to have a report with a 5G label and then find information in it about core routers. Yes they play a part but it strikes me as odd that there is no focus on mobile switching, gateways, HLRs, signaling vulnerabilites etc.. When looking at the boxes they compare: Huawei: CloudEngine 12800 scales up to 2000 * 25GBit or 500 * 40GBit Juniper: EX4650 Ethernet Switch scales up 48*25GBit With all due respect but this is comparing apples with orange seeds. A carrier class switch is more complex than an enterprise switch and has a much larger attack surface.
质疑点出报告用词滑头：无法证明恶意，却抛出"潜在后门"的吸睛数字。
"虽然我们无法通过技术分析证明恶意意图，但我们可以明确地说，55% 的受测设备至少存在一个潜在后门。"
joshgel查看英文原文
> While we cannot prove malicious intent through a technical analysis, we can concretely state that 55% of tested devices had at least one potential backdoor
质疑怀疑这是有组织的抹黑行动，但认为华为的工程质量问题本身仍须整改。
自微软当年搞"草根营销"以来，我还没见过对一家科技公司如此密集的攻击行动。报告里有些指标非常主观，而这些年我在各类设备（Cisco、Nortel、TP-Link、D-Link……）上见过太多愚蠢的安全漏洞，实在很难相信"国家支持的恶意"这套叙事。无论如何，华为需要整改自己的做法。无能不是辩护理由，这种程度的马虎不可接受——这些关键网络事关重大，我认为应该考虑对此类产品的安全实践和标准进行立法。
dade_查看英文原文
Not since the days of Microsoft astro-turfing have I seen such a campaign against a tech company. Some of these metrics are very subjective and I've seen so many bone-headed security bugs in equipment over the years (Cisco, Nortel, TP link, Dlink...) that I really have difficulty believing the narrative of state sponsored malice. Regardless, Huawei needs to clean up their practices. Ineptitude isn't a defense and this level of sloppiness is unacceptable; We have too much at stake with these essential networks, and I think legislation of security practices and standards in these products should be considered.
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2019Hacker News 讨论帖154 分 · 88 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选