洋葱路由与混合网络数据包格式 Sphinx 的可证明安全性
密码学与安全
2023-12-14 v1
摘要
洋葱路由和混合网络是为用户提供匿名互联网访问的基本概念。各种相关解决方案都依赖于高效的Sphinx数据包格式。然而，最近发现Sphinx底层证明策略存在缺陷。因此，目前尚不清楚Sphinx实际提供了哪些保证，更糟糕的是，没有合适的证明策略可用。在本文中，我们通过为Sphinx构建理论框架来恢复所有这些工作的安全基础。我们发现先前使用的DDH假设不足以进行安全性证明，并表明需要使用Gap Diffie-Hellman（GDH）假设来替代。我们应用该假设证明了稍微调整后的Sphinx数据包格式在GDH假设下是安全的。我们的工作是首个以这种方式为Sphinx提供详细、深入的安全性证明的工作。正如我们通过针对发送者隐私的攻击所证明的那样，我们对Sphinx的调整是必要的，否则该攻击将可能发生。
引用
@article{arxiv.2312.08028,
title = {Provable Security for the Onion Routing and Mix Network Packet Format Sphinx},
author = {Philip Scherer and Christiane Weis and Thorsten Strufe},
journal= {arXiv preprint arXiv:2312.08028},
year = {2023}
}