[论文解读] On Decoding Schemes for the MDPC-McEliece Cryptosystem

Hannes Bartz, Gianluigi Liva|arXiv (Cornell University)|Jan 17, 2018

Coding theory and cryptography参考文献 21被引用 11

一句话总结

本文提出了针对准循环中密度校验（QC-MDPC）码在MDPC-McEliece后量子密码系统中应用的新型消息传递解码方案——REMP-1和REMP-2。通过结合结构化删失模式与参数优化改进置信传播算法，该方案在仿真与密度演化分析下均验证了其对GJS基于反应的密钥恢复攻击具备更强的抗性，同时提升了纠错性能，并实现了阈值增益。

ABSTRACT

Recently, it has been shown how McEliece public-key cryptosystems based on moderate-density parity-check (MDPC) codes allow for very compact keys compared to variants based on other code families. In this paper, classical (iterative) decoding schemes for MPDC codes are considered. The algorithms are analyzed with respect to their error-correction capability as well as their resilience against a recently proposed reaction-based key-recovery attack on a variant of the MDPC-McEliece cryptosystem by Guo, Johansson and Stankovski (GJS). New message-passing decoding algorithms are presented and analyzed. Two proposed decoding algorithms have an improved error-correction performance compared to existing hard-decision decoding schemes and are resilient against the GJS reaction-based attack for an appropriate choice of the algorithm's parameters. Finally, a modified belief propagation decoding algorithm that is resilient against the GJS reaction-based attack is presented.

研究动机与目标

• 分析经典迭代解码方案在MDPC码上对GJS基于反应的密钥恢复攻击的抗性能力。
• 在不损害安全性的前提下，提升QC-MDPC码硬判决解码方案的纠错能力。
• 设计新型消息传递解码算法，以隐藏侧信道分析中暴露的密钥校验矩阵结构。
• 通过密度演化分析与蒙特卡洛仿真验证所提出的解码方案。
• 证明改进的置信传播与REMP变体可同时实现性能增强与对GJS攻击的抵抗能力。

提出的方法

• 提出两种新型硬判决消息传递解码算法REMP-1与REMP-2，通过基于变量节点度数的受控删失机制改进标准置信传播算法。
• 采用密度演化（DE）方法，理论预测解码阈值，并优化参数如$p^{\text{max}}$、$p_{\text{dec}}$与$\omega$。
• 引入掩码置信传播（MBP）变体，通过随机化删失概率来隐藏距离分布$D(\bm{h}_0)$。
• 使用蒙特卡洛仿真（每种重数最多200次解码失败）评估在GJS攻击模型下的帧错误率（FER）。
• 通过参数调优确保不同重数下的解码失败率保持一致，防止秘密密钥的重构。
• 通过二元对称信道下不同错误权重的帧错误率（FER）仿真，验证理论阈值的准确性。

实验结果

研究问题

• RQ1 现有的MDPC码硬判决解码方案能否被改进以抵御GJS基于反应的密钥恢复攻击？
• RQ2 通过在消息传递算法中引入结构化删失模式，MDPC解码的纠错性能最多可提升多少？
• RQ3 所提出的REMP解码方案是否在所有$D(\bm{h}_0)$重数下均保持近乎均匀的解码失败率，从而隐藏秘密密钥结构？
• RQ4 掩码置信传播（MBP）能否在复杂度低于完整置信传播的前提下，实现与之相当的GJS攻击抗性？
• RQ5 参数选择如$p^\ast$、$p_{\text{dec}}$与$\omega$如何影响解码阈值及对侧信道分析的抵抗能力？

主要发现

• REMP-1与REMP-2解码方案的解码阈值高于原始算法E，分别在80位安全强度下提升108(13)，128位下提升157(14)，256位下提升301(23)。
• 所提出的REMP变体在$D(\bm{h}_0)$所有重数下均保持近乎均匀的帧错误率（FER），有效防止在GJS攻击下重构秘密密钥。
• 蒙特卡洛仿真结果表明，REMP-1与REMP-2在所有重数下均表现出相近的FER，表明其对距离分布具有良好的隐藏效果。
• 尽管MBP解码器复杂度更高，但在参数合理选择下同样能隐藏密钥结构，且在$e=106$时的FER与REMP-2相当。
• 密度演化分析表明，REMP-1与REMP-2不会降低解码阈值，且在最优参数设置下甚至可实现阈值提升。
• 仿真结果证实，即使在次优删失设置下，REMP方案在纠错性能上也显著优于BF与MF解码。