安全与密码学2020usenix.org
爱沙尼亚电子身份证：密钥管理中的安全缺陷
Estonian Electronic Identity Card: Security Flaws in Key Management
进阶 · 约 80 分钟读完前置知识：密码学基础、智能卡/芯片安全、密钥管理
导读
这篇 USENIX Security 2020 论文研究爱沙尼亚电子身份证（eID）在密钥管理上的安全缺陷，分析相关密钥管理流程和芯片平台中的问题及其影响。评论补充说，这些问题并非全新，受影响的主要是截至 2018 年底使用 jTOP SLE78 芯片的旧卡；2018/2019 年后新卡未发现同类漏洞，且当时可免费换卡。
HN 关注点：国家级 eID 的密钥管理与芯片供应链安全直接关系身份认证和电子投票，讨论还涉及漏洞披露的政治化与换卡善后。
HN 评论精选
这几条评论里：补充 4
补充论文是对旧问题的详细梳理，2018 年后新卡未发现已知漏洞。
想知道这是不是新问题的人注意：这不是新问题，而是对既有问题的更详细论述，其中之一就是 Gemalto 事件[0]。2018 年新发的卡目前未发现已知漏洞。
dijit查看英文原文
Anyone wondering if this is a new issue; it's not, it's a more detailed writing of some previous issues, one of which being the Gemalto affair[0]. The new cards issued in 2018 are not known to have any vulnerabilities. [0]: https://www.linkedin.com/pulse/timeline-estonian-id-card-vulnerability-andres-k%C3%BCtt/
补充ID 卡漏洞讨论常被政治化和极端化，但应持续修复而不是因缺陷否定整个系统。
我有些不同意。ID 卡漏洞讨论往往被一些民粹主义煽动者和私营部门媒体最初的反应带偏。（在爱沙尼亚，政府媒体反而是所有新闻媒体中最中立的，想想吧。）这些说法通常是：“身份证有缺陷 X，所以我们应该立即禁用它、关掉研发并用火烧掉”，却忘了密码学和计算本身会随时间变化。我的看法是，每个缺陷当然都要解决，有时这确实政治化，但这只意味着工作必须继续。
PrimeDirective查看英文原文
> The flaws of the ID-card is a very politically charged topic to discuss in Estonia, having any doubts about the ID-card or e-voting will make you a persona non grata. I somewhat disagree, the discussion tends to get bent by some populist agent provocateurs and some of the initial reactions from the private sector media. (In Estonia, the government media is the most centered out of all news outlets, go figure). What these statements usually are is that "ID card has a flaw X, therefore we should immidiately ban it, close the R&D and burn it with fire", forgetting that crypto and computing in general, changes over time. My view is that, of course each flaw has to be resolved and sometimes this is political, but this just means the work has to continue.
补充受影响旧卡可查可免费更换，2019 年后新芯片未发现论文所述缺陷。
“jTOP SLE78 芯片的身份证一直发放到 2018 年底。目前生产的身份证使用 IDEMIA 提供的芯片平台（不在本论文覆盖范围内）。”如果我没记错，当时有简单方法检查你的身份证是否受影响，并可免费更换。论文描述的缺陷在 2018 年底/2019 年初以后发放的卡中未发现。
AhtiK查看英文原文
"The jTOP SLE78-powered ID cards were issued until the end of 2018. ID cards manufactured currently are powered by the chip platform supplied by IDEMIA (not covered in this work)." If my memory serves me right, there was an easy way to check if your ID card was affected and it got replaced for free. The flaws described in paper are not known to exist in cards issued since the end of 2018, beginning of 2019.
补充补充了 2018 年关于事件后续的 HN 讨论链接。
该问题的后续影响此前已在这里讨论过（2018）：https://news.ycombinator.com/item?id=18104861
Etheryte查看英文原文
The aftermath of the issue has been previously discussed here (2018): https://news.ycombinator.com/item?id=18104861
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2020Hacker News 讨论帖222 分 · 80 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选