[论文解读] New variant of ElGamal signature scheme

Omar Khadir|arXiv (Cornell University)|Jan 15, 2013

Cryptography and Data Security参考文献 11被引用 9

一句话总结

本文提出了一种新的ElGamal数字签名方案变体，包含三个未知变量（r, s, t），通过避免使用扩展欧几里得算法来增强安全性。该方案基于离散对数问题的广义签名方程，对其安全性进行了针对已知攻击的分析，并提供了数学兴趣的n个变量的理论推广。

ABSTRACT

In this paper, a new variant of ElGamal signature scheme is presented and its security analyzed. We also give, for its theoretical interest, a general form of the signature equation.

研究动机与目标

• 设计一种新的ElGamal签名方案变体，以提高对已知攻击的抵抗能力。
• 在签名生成过程中消除对扩展欧几里得算法的依赖。
• 为数学洞察提供签名方程向n个变量的理论推广。
• 分析新方案对选择性伪造攻击和密钥恢复攻击的安全性。
• 评估所提方案相对于现有变体的计算复杂度。

提出的方法

• 该方案使用签名方程：α^t ≡ y^r * r^s * s^m (mod p)，其中r、s和t为需计算的未知数。
• Alice设置r = α^k₁ mod p 且 s = α^k₂ mod p，其中k₁、k₂为随机选择的元素，属于ℤ_{p−1}^*。
• 通过模p计算等式两边并比较结果来验证签名方程。
• 签名参数t通过t ≡ x*r + k₁*s + k₂*m (mod p−1)计算，使用私钥x。
• 该方法通过直接使用已知值求解模方程，避免了扩展欧几里得算法。
• 理论推广将方程扩展至n+1个未知数，其中t ≡ x*r₁ + k₁*r₂ + ... + k_{n−1}*rₙ + kₙ*m (mod p−1)。

实验结果

研究问题

• RQ1 能否构建一种包含三个未知数的新型ElGamal签名方案，以避免使用扩展欧几里得算法？
• RQ2 新方案的安全性与原始ElGamal相比，在已知攻击下表现如何？
• RQ3 所提方案的计算复杂度（以模指数运算和乘法计数）是多少？
• RQ4 签名方程能否推广至超过三个未知数，同时保持安全性和正确性？
• RQ5 在新方案下是否存在选择性伪造攻击？若存在，其条件是什么？

主要发现

• 所提方案在签名生成过程中避免了扩展欧几里得算法，简化了实现。
• 当使用相同的秘密指数签署不同消息时，该方案能抵抗密钥恢复攻击，其分析基于广义方程。
• 在特定参数条件下，存在选择性伪造攻击，通过修改的Bleichenbacher风格攻击得以证明。
• 计算成本适中：签名阶段为483 T_mult + T_h，验证阶段为962 T_mult + T_h，假设T_exp = 240 T_mult。
• 通信成本为6|p|比特，包含公钥和签名分量。
• 提供了向n个变量的理论推广，其中t通过模p−1下的秘密向量与签名参数向量的点积计算。