[论文解读] Proactively Accountable Anonymous Messaging in Verdict

Henry Corrigan-Gibbs, David Isaac Wolinsky+1 more|arXiv (Cornell University)|Sep 21, 2012

Internet Traffic Analysis and Secure E-voting参考文献 48被引用 68

一句话总结

Verdict 是首个实用的匿名群组消息系统，采用主动可验证的 DC-nets 技术，防止内部破坏性攻击。它利用公钥密码学和零知识证明，在损害发生前检测异常行为。与之前系统（如 Dissent）相比，其破坏检测速度最快可提升 100 倍，通过用高效的可验证 DC-net 轮次替代昂贵的可验证洗牌机制实现。系统支持 100 名用户 1 秒延迟，或 1000 名用户 10 秒延迟。

ABSTRACT

The DC-nets approach to anonymity has long held attraction for its strength against traffic analysis, but practical implementations remain vulnerable to internal disruption or "jamming" attacks requiring time-consuming tracing procedures to address. We present Verdict, the first practical anonymous group communication system built using proactively verifiable DC-nets: participants use public key cryptography to construct DC-net ciphertexts, and knowledge proofs to detect and detect and exclude misbehavior before disruption. We compare three alternative constructions for verifiable DC-nets, one using bilinear maps and two based on simpler ElGamal encryption. While verifiable DC-nets incurs higher computation overheads due to the public-key cryptography involved, our experiments suggest Verdict is practical for anonymous group messaging or microblogging applications, supporting groups of 100 clients at 1 second per round or 1000 clients at 10 seconds per round. Furthermore, we show how existing symmetric-key DC-nets can "fall back" to a verifiable DC-net to quickly identify mis- behavior improving previous detections schemes by two orders of magnitude than previous approaches.

研究动机与目标

• 解决基于 DC-net 的匿名系统易受内部破坏或‘干扰’攻击影响而中断通信的漏洞。
• 设计并实现一个实用系统，利用零知识证明主动检测异常行为，而非事后追溯。
• 评估不同密码学原语（包括双线性对和基于 ElGamal 的方案）在可验证 DC-nets 中的性能权衡。
• 将可验证 DC-nets 集成到混合架构中，在正常条件下保持高性能，同时实现快速破坏响应。
• 证明可验证 DC-nets 在真实世界应用（如匿名微博）中具有可行性。

提出的方法

• Verdict 使用主动可验证的 DC-nets，每位参与者通过零知识证明其消息的正确性。
• 实现三种替代构造方案：一种基于双线性对（受 Golle 和 Juels 启发），另两种基于整数群和椭圆曲线群中的标准 ElGamal 加密。
• 系统采用类似 Dissent 的客户端/服务器架构，确保鲁棒性和可扩展性，只要至少一个服务器诚实，安全性即可得到保障。
• 提出一种混合设计：正常运行时默认使用对称密钥 DC-nets，仅在检测到破坏时才切换到可验证 DC-nets。
• 通过用单轮可验证 DC-net 替代 Dissent 中昂贵的可验证洗牌，显著加速破坏检测。
• 性能评估采用基于追踪的仿真和真实网络追踪，对比 Verdict、Dissent 和对称密钥 DC-nets 在微博工作负载下的表现。

实验结果

研究问题

• RQ1 主动可验证的 DC-nets 是否能高效实现，以支持实时匿名群组消息通信？
• RQ2 不同密码学构造（双线性对 vs. ElGamal）如何影响可验证 DC-nets 的性能与实用性？
• RQ3 结合对称密钥与可验证 DC-nets 的混合系统，能否在正常条件下保持高性能，同时实现快速破坏检测？
• RQ4 与事后追责机制相比，主动验证在多大程度上减少了破坏检测时间？
• RQ5 可验证 DC-nets 中公钥密码学带来的计算开销是否在实际应用（如微博）中可接受？

主要发现

• Verdict 支持 100 名用户 1 秒延迟的群组通信，或 1000 名用户 10 秒延迟，证明其在实时匿名通信中的实用性。
• 基于 ElGamal 的可验证 DC-net 构造相比原始双线性对方法，计算成本降低一个数量级。
• 在微博工作负载下，当无破坏行为发生时，Verdict 的性能与对称密钥 DC-nets（如 Dissent）非常接近。
• 在 1000 个节点的群组中，混合设计将破坏检测时间从 Dissent 的 20 分钟缩短至仅 26 秒，提升 100 倍。
• Verdict 的主动可验证 DC-net 原原子可实现破坏行为的提前检测，从而消除对昂贵重启操作的需求。
• 该系统是首个可工作的可验证 DC-nets 实现，为这类系统在真实世界部署中的可行性提供了实证证据。