[论文解读] Quasigroups in cryptology

Victor Shcherbacov|arXiv (Cornell University)|Jul 21, 2010

graph theory and CDMA systems被引用 7

一句话总结

本文综述了在密码学中应用拟群的成果，重点讨论其在流密码、密钥共享系统、零知识协议以及哈希函数中的应用。研究表明，非结合拟群相较于传统结合代数结构，具备更优越的密码学特性，如更高的复杂度和更大的密钥空间，从而可构建更安全、更灵活的密码系统。

ABSTRACT

We give a review of some known published applications of quasigroups in cryptology.

研究动机与目标

• 系统梳理和归纳拟群在现代密码学中的已知应用，特别是1980年代以来的发展。
• 通过利用非结合拟群，解决密码学中对更安全、更复杂代数结构的需求。
• 探讨使用拟群构建同态密码系统、密钥共享方案和零知识协议的可行性与优势。
• 分析拟群运算之间的汉明距离作为衡量密码学强度和多样性的指标。
• 提供利用同态变换、直积和计算机代数系统生成大规模、紧凑且适合密码学应用的拟群的实际方法。

提出的方法

• 将拟群用作广义置换，其运算数量超过 n!·(n−1)!·…·1!（当阶为 n 时），从而显著扩大密钥空间。
• 应用同态变换与 gisotopy（广义同态变换）生成非同构于群的拟群，确保非结合代数结构。
• 以拉丁方阵及其同态变换为基础，构建零知识身份认证协议。
• 利用拟群运算之间的汉明距离衡量结构多样性及对密码分析的抗性。
• 提出使用计算机代数系统（如 Maple 7）通过直积与同态变换生成大规模、紧凑的拟群。
• 引入 GF[q] 上的 NLPN 序列与 (r,s,t)-拟群，用于流密码设计及抗错误能力增强。

实验结果

研究问题

• RQ1 如何有效利用拟群设计具备高扩散性和混淆性的安全流密码？
• RQ2 拟群运算之间的汉明距离在评估密码学强度和抵抗代数攻击能力方面起到何种作用？
• RQ3 能否在不泄露密钥的前提下构建基于拟群的零知识协议？其通过同态变换实现的机制是什么？
• RQ4 在密码学中，使用非结合拟群相较于结合代数系统在结构与计算方面具有哪些优势？
• RQ5 如何利用代数构造方法高效生成并存储大规模、紧凑且具有密码学强度的拟群？

主要发现

• 阶为 n 的拟群数量超过 n!·(n−1)!·…·1!，其密钥空间显著大于结合结构。
• 对于阶大于 50 的群，若 n 为奇数，则最小汉明距离 δ(G,∘) = 6n−18；若为二倍奇数阶的二面体群，则为 6n−20；否则为 6n−24。
• 对于阶 p > 7 的素数，δ(G,∘) = 6p−18，表明基于群的拟群具有可预测的下限。
• 存在大量不与群同态的拟群，且 gisotopy 方法在生成此类结构方面比普通同态变换更有效。
• 计算机代数系统（如 Maple 7）可通过同态变换与直积方法，生成任意阶的、实际数量无限的拟群。
• 基于拟群的零知识协议可利用同态拉丁方阵构建，用户通过重复的挑战-响应轮次证明身份，而无需泄露秘密密钥。