[论文解读] New Construction of Authentication Codes with Arbitration from Pseudo-Symplectic Geometry over Finite Fields

Shangdi Chen, Zhao Dawei|arXiv (Cornell University)|May 27, 2013

Coding theory and cryptography参考文献 3被引用 4

一句话总结

本文提出了一种基于特征为2的有限域上的伪辛几何的新认证码构造方法，该方法支持仲裁功能。通过利用伪辛群及其特定类型子空间的结构，作者推导出显式的参数并计算出最优欺骗概率，实现了对所有攻击类型的低欺骗概率，特别是 $ P_I = P_{R_0} = q^{-2(u-s)} $ 和 $ P_S = P_T = P_{R_1} = q^{-1} $，从而确保了强大的安全保证。

ABSTRACT

A new construction of authentication codes with arbitration from pseudo-symplectic geometry over finite fields is given. The parameters and the probabilities of deceptions of the codes are also computed.

研究动机与目标

• 为满足对抵抗多种类型攻击（包括对手、发送方和接收方的伪装与替换攻击）的带仲裁安全认证系统的需求，提出解决方案。
• 通过引入基于特征为2的有限域上伪辛群的新几何框架，克服现有构造方法的局限性。
• 系统地计算所构造码的大小参数与欺骗概率，以确保最优的安全性能。
• 通过伪辛空间中的子空间类型与共轭标准型，提供数学上严谨的构造方法，实现参数的均衡与安全。

提出的方法

• 利用伪辛群 $ Ps_{2\nu+\nu}(F_q) $ 在向量空间 $ F_q^{(2\nu+\nu)} $ 上的作用，定义码的几何结构，其中 $ q $ 为2的幂。
• 通过特定类型 $ (m, 2s+\tau, s, \tau) $ 的子空间定义源状态 $ S $、消息 $ M $ 以及编码/解码规则 $ E_T, E_R $，并利用 $ S_\nu $ 下的正交性与共轭标准型。
• 将消息构造为子空间 $ s_1 + e_T $ 的陪集，其中 $ e_T $ 为发送方编码规则，并确保 $ e_R \notin m $，除非 $ e_R $ 与 $ e_T $ 及消息结构兼容。
• 应用伪辛群的作用生成子空间的等价类，从而实现编码与解码规则的均匀分布。
• 通过在 $ F_q $ 上的维数计数与线性代数方法，计算每条消息对应的合法 $ e_T $ 与 $ e_R $ 对的数量，特别是交集计数为 $ q^{k-2} $。
• 通过分析在消息与解码/编码集合中兼容规则的最大数量，并基于均匀概率假设，推导出欺骗概率。

实验结果

研究问题

• RQ1 如何利用有限域上伪辛空间的几何结构，系统地构造带仲裁的认证码？
• RQ2 基于伪辛子空间的构造码的精确大小参数 $ |S|, |M|, |E_T|, |E_R| $ 是什么？
• RQ3 所有五类欺骗攻击（伪装、对手替换、发送方替换、接收方替换）的概率最优上界是什么？
• RQ4 参数与欺骗概率如何依赖于子空间维数与域大小 $ q $，特别是与 $ \nu $ 和 $ s $ 的关系？
• RQ5 所提出的构造能否在保持较大的消息空间与状态空间的同时，实现最小欺骗概率？

主要发现

• 所构造的认证码具有如下大小参数：$ |S| = N(2s-2,s-1;2\nu-2)N(m_0-2s,s_0-s+1;2(\nu-s))/N(m_0-2,s_0;2\nu-2) $，$ |M| = q^{4(\nu-s)}|S| $，$ |E_T| = q^{4(\nu-1)} $，$ |E_R| = q^{2\nu} $，这些参数由伪辛几何中的子空间计数推导得出。
• 伪装概率 $ P_I = \frac{1}{q^{2(\nu-s)}} $，当 $ \nu - s $ 较大时最小化，表明对对手伪装攻击具有强抵抗能力。
• 替换概率 $ P_S = \frac{1}{q} $，同理 $ P_T = \frac{1}{q} $，$ P_{R_1} = \frac{1}{q} $，表明替换攻击的概率被限制在 $ q^{-1} $，这是该构造下的最优结果。
• 接收方伪装概率 $ P_{R_0} = \frac{1}{q^{2(\nu-s)}} $，与 $ P_I $ 相同，表明对对手与接收方伪装攻击具有对称的抵抗能力。
• $ P_S, P_T, P_{R_1} $ 均为 $ \frac{1}{q} $，这是在给定均匀分布假设与子空间约束下可达到的最小值。
• 通过利用伪辛子空间的维数结构与正交性，特别是共轭标准型与子空间交集的受控特性，该构造实现了最优欺骗概率。