[论文解读] Symmetric Boolean Function with Maximum Algebraic Immunity on Odd Number of Variables

Na Li, Wen‐Feng Qi|ArXiv.org|Nov 29, 2005

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

一句话总结

本文证明了对于任意奇数个变量 n，存在且仅存在一个平凡的平衡 n 变量对称布尔函数，其代数免疫度达到最大值 ⌈n/2⌉。此外，本文推导出达到该最大免疫度的对称布尔函数的代数正规形式（ANF）所必须满足的条件，为构造对代数攻击具有最优抗性的弹性密码函数提供了关键特征。

ABSTRACT

To resist algebraic attack, a Boolean function should possess good algebraic immunity (AI). Several papers constructed symmetric functions with the maximum algebraic immunity $\lceil \frac{n}{2} ceil $. In this correspondence we prove that for each odd $n$, there is exactly one trivial balanced $n$-variable symmetric Boolean function achieving the algebraic immunity $\lceil \frac{n}{2} ceil $. And we also obtain a necessary condition for the algebraic normal form of a symmetric Boolean function with maximum algebraic immunity.

研究动机与目标

• 确定在奇数个变量上的对称布尔函数是否能达到理论最大代数免疫度 ⌈n/2⌉。
• 刻画达到最大代数免疫度的对称布尔函数的结构特征。
• 识别此类函数的代数正规形式（ANF）所必须满足的必要条件。
• 证明对于奇数 n，唯一能达到最大代数免疫度的平凡平衡对称函数是唯一的。

提出的方法

• 作者利用代数正规形式（ANF）的性质，分析对称布尔函数的代数免疫度。
• 他们应用组合与代数技术，评估对称函数的消去器次数。
• 他们推导出达到最大代数免疫度的对称函数的ANF系数所必须满足的必要条件。
• 他们证明了当 n 为奇数时，只有平凡平衡对称函数（在汉明权重上恒为 1 或 0）才能达到最大代数免疫度 ⌈n/2⌉。
• 他们利用对称性与权重分解，将一般情况简化为有限个候选情况。
• 他们通过反证法与在对称性约束下ANF的结构分析，验证了唯一性结果。

实验结果

研究问题

• RQ1 对于奇数 n，是否存在一个对称布尔函数，其代数免疫度等于 ⌈n/2⌉？
• RQ2 在奇数个变量上，达到最大代数免疫度的对称布尔函数具有怎样的结构？
• RQ3 对于奇数 n，平凡平衡对称函数是否是唯一能达到最大代数免疫度的函数？
• RQ4 此类函数的代数正规形式（ANF）必须满足何种必要条件？
• RQ5 非平凡对称函数能否在奇数 n 时达到最大代数免疫度？

主要发现

• 对于每个奇数 n，都存在且仅存在一个平凡的平衡 n 变量对称布尔函数，其代数免疫度达到最大值 ⌈n/2⌉。
• 该唯一函数在所有具有相同汉明权重的输入上恒为 1 或恒为 0，具体取决于该权重的奇偶性。
• 本文确立了达到最大代数免疫度的对称函数的代数正规形式（ANF）系数所必须满足的必要条件。
• 非平凡对称函数无法在奇数 n 时达到最大代数免疫度。
• 该结果确认了在奇数个变量上，对称函数可达到的最大代数免疫度确实为 ⌈n/2⌉，且仅能由平凡平衡函数实现。
• 对ANF的特征刻画为识别和构造在流密码设计中对代数攻击具有最优抗性的对称函数提供了关键工具。