[论文解读] Authentication Schemes Using Braid Groups

Sunder Lal, Atul Chaturvedi|ArXiv.org|Jul 27, 2005

Chaos-based Image/Signal Encryption参考文献 7被引用 12

一句话总结

本文提出两种基于辫群中根问题（RP）计算困难性的认证方案，利用辫群的代数结构设计安全的鉴别协议。在假设辫群中求解根问题计算上不可行的前提下，证明了这些方案对被动窃听攻击具有安全性。

ABSTRACT

In this paper we proposed two identification schemes based on the root problem. The proposed schemes are secure against passive attacks assuming that the root problem (RP) is hard in braid groups.

研究动机与目标

• 利用辫群的代数性质设计高效且安全的鉴别协议。
• 将方案的安全性建立在辫群中求解根问题（RP）的计算难度之上。
• 确保对被动攻击具有抗性，即攻击者仅能观察证明者与验证者之间的交互。
• 在密钥交换之外，为辫群密码学提供一种新颖的应用，聚焦于认证。
• 在标准密码学假设下，形式化并分析所提方案的安全性。

提出的方法

• 方案利用辫群的非阿贝尔结构，特别利用在该群中计算根的困难性。
• 鉴别协议涉及挑战-响应交互，证明者在不泄露秘密根的情况下展示其对秘密根的知识。
• 安全性依赖于即使在获得公开参数的情况下，求解辫群中的根问题在计算上仍困难的假设。
• 协议使用辫群元素及其共轭运算，构建对根知识的零知识证明。
• 提出两种变体，区别在于挑战的生成方式和响应的结构。
• 方案设计高效，适用于辫群运算可行的环境。

实验结果

研究问题

• RQ1 能否将辫群中的根问题作为安全认证协议的基础？
• RQ2 如何利用根问题的困难性，构建对被动窃听攻击具有抗性的鉴别方案？
• RQ3 基于辫群的鉴别方案在结构上需要满足哪些条件，才能同时保证安全与高效？
• RQ4 所提出的方案能否在标准密码学假设下（如根问题的不可解性）被证明是安全的？
• RQ5 与现有认证协议相比，所提出的方案在通信和计算开销方面表现如何？

主要发现

• 在假设辫群中根问题计算困难的前提下，所提出的认证方案对被动攻击具有安全性。
• 方案的安全性仅基于在辫群中计算根的难度，不依赖于其他数论假设。
• 方案设计为零知识，确保交互过程中不会泄露关于秘密根的任何信息。
• 协议在通信和计算方面均高效，仅依赖于辫群运算，如共轭和乘法。
• 本文为两种方案提供了形式化安全证明，表明任何成功的攻击都将意味着在辫群中存在求解根问题的高效算法。
• 结果表明，使用辫群进行认证是可行的，将其应用从密钥交换协议扩展到了新的领域。