安全与密码学2016dspace.mit.edu
Riffle：一种具有强匿名性的高效通信系统
Riffle: an efficient communication system with strong anonymity
专业 · 约 60 分钟读完前置知识：计算机网络基础、密码学基础、Mixnet/匿名通信
导读
这篇 MIT 学位论文提出 Riffle，一个旨在同时实现强匿名性与较高通信效率的匿名通信系统。其核心思路属于批量混淆/混合网络方向，通过密码学机制在转发前打乱消息，以降低流量分析风险，并评估其安全性与性能。
HN 关注点：是因为在政府打压加密与匿名、中心化平台主导的背景下，强匿名通信系统是否可行、实用，以及它依赖哪些密码学工具。
HN 评论精选
这几条评论里：支持 1 补充 2
补充提供学位论文和论文原文的直接链接。
Kwon 的学位论文：https://dspace.mit.edu/bitstream/handle/1721.1/99859/927718269-MIT.pdf；论文：https://people.csail.mit.edu/devadas/pubs/riffle.pdf
mirimir查看英文原文
Kwon thesis: https://dspace.mit.edu/bitstream/handle/1721.1/99859/927718269-MIT.pdf Paper: https://people.csail.mit.edu/devadas/pubs/riffle.pdf
支持认为强匿名通信系统是对抗监控和避免中心化平台依赖的必要工具。
在 NSA 泄密事件后没有真正反应、各国政府又试图以某种方式将加密和匿名定为犯罪的情况下，这正是我们需要的。我们不需要另一个由 Google/Facebook 等中心化巨头驱动的应用。
luan42查看英文原文
With no real reaction after the NSA leaks and with people in various governments trying somehow to criminalize encryption and anonymity, this is exactly what we need. We don't need another centralized Google/Facebook/etc. powered application.
补充推荐使用类似密码学工具的相关论文，并提及 Rogaway 的评价。
如果你对这套系统使用的基本工具有兴趣，这是另一篇使用了一些类似工具的论文：http://arxiv.org/abs/1503.06115。Phil Rogaway 说它“优雅”，仅供参考。
swordswinger12查看英文原文
If you're interested in the basic tools used in this system, this is another paper that uses some similar ones: http://arxiv.org/abs/1503.06115 Phil Rogaway called it 'elegant', fwiw.
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2016Hacker News 讨论帖187 分 · 41 评
同领域还值得读
如何入侵一台已关机的电脑：在 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 分钟编辑精选