[论文解读] A new authentication protocol for revocable anonymity in ad-hoc networks

Adam Wierzbicki, Aneta Zwierko+1 more|ArXiv.org|Oct 22, 2005

Advanced Authentication Protocols Security参考文献 20被引用 7

一句话总结

本文提出了一种新型的自组织网络认证协议，利用Merkle谜题和零知识证明实现可撤销匿名性。该协议无需节点间直接通信，即可抵御窃听、中间人及重放攻击，通过可信第三方提供可问责性，实现安全且可扩展的认证。

ABSTRACT

This paper describes a new protocol for authentication in ad-hoc networks. The protocol has been designed to meet specialized requirements of ad-hoc networks, such as lack of direct communication between nodes or requirements for revocable anonymity. At the same time, a ad-hoc authentication protocol must be resistant to spoofing, eavesdropping and playback, and man-in-the-middle attacks. The article analyzes existing authentication methods based on the Public Key Infrastructure, and finds that they have several drawbacks in ad-hoc networks. Therefore, a new authentication protocol, basing on established cryptographic primitives (Merkle's puzzles and zero-knowledge proofs) is proposed. The protocol is studied for a model ad-hoc chat application that provides private conversations.

研究动机与目标

• 解决在缺乏直接通信与集中式目录信任的动态、去中心化自组织网络中，传统PKI不适用时的节点认证挑战。
• 在无持久基础设施的环境中，提供对窃听、中间人及重放攻击的强安全防护。
• 实现可撤销匿名性——允许用户对其他节点保持匿名，同时在必要时可被可信第三方识别。
• 设计一种计算高效且兼容任意MANET路由协议的协议，避免依赖特定路由协议的特性。
• 通过一个要求私密、认证通信的模型聊天应用，证明协议的可行性和安全性。

提出的方法

• 协议利用Merkle谜题在无直接通信的情况下，使两个节点建立共享密钥，其中一节点（发起方）生成一组谜题并发送给另一节点。
• 响应方解决其中一个谜题，并使用解密结果计算一个值，以零知识证明技术证明其掌握密钥但不泄露密钥本身。
• 协议依赖对称加密（如DES）生成谜题以及安全哈希函数绑定值等密码原语，确保抵抗密码分析。
• 引入可信引导机构，维护用户身份与公钥之间的映射关系，以便在需要时实现身份撤销。
• 协议执行两阶段交互：谜题分发与零知识证明交换，所有关键计算均在离线阶段完成，以降低延迟。
• 通过使用随机值（b, r(u)）和挑战-响应机制，确保每次认证会话唯一，防止重放攻击。

实验结果

研究问题

• RQ1 如何在自组织网络中实现安全认证，而无需节点间直接通信？
• RQ2 能否设计一种协议，同时提供强匿名性与可撤销问责性，使可信第三方可在必要时识别恶意用户？
• RQ3 在去中心化、动态的网络环境中，哪些密码技术可确保对中间人、窃听及重放攻击的抵抗能力？
• RQ4 如何在保持安全性的前提下，最小化此类协议的计算与通信开销？
• RQ5 该协议在多大程度上可与现有MANET路由协议集成，而无需进行修改？

主要发现

• 协议通过零知识证明与基于唯一会话随机值的挑战-响应机制，成功抵御中间人、窃听及重放攻击。
• 消除了认证过程中节点间直接通信的需求，即使节点未处于直接通信范围，也能实现安全配置。
• 协议支持可撤销匿名性：用户对其他节点保持匿名，但在必要时可被可信第三方识别，满足法律与问责要求。
• 计算开销极低，且大部分计算已转移至离线阶段，仅需单轮通信完成谜题传输与证明交换。
• 谜题集合的大小可被限制（例如，占消息大小的1%），以确保破解所有谜题所需时间超过消息传输时间，从而提供实用的安全边界。
• 与PKI相比，该协议避免依赖公钥目录，减少通信开销，并可在不知晓接收方身份的情况下实现认证。