[论文解读] Non-Archimedean analysis, T-functions, and cryptography

Vladimir Anashin|ArXiv.org|Dec 6, 2006

advanced mathematical theories参考文献 16被引用 5

一句话总结

本文提出了一种新颖的框架，通过将T-函数（仅依赖于低位输入位的按位运算）建模为2-adic分析中的连续函数，用于设计高性能、密码学安全的流密码。关键贡献在于证明具有特定2-adic遍历性质的T-函数可生成具有可证明长周期、均匀分布和高线性复杂度的密钥流，从而实现安全且高效的软件导向型密码，如ABC。

ABSTRACT

These are lecture notes of a 20-hour course at the International Summer School \emph{Mathematical Methods and Technologies in Computer Security} at Lomonosov Moscow State University, July 9--23, 2006. Loosely speaking, a $T$-function is a map of $n$-bit words into $n$-bit words such that each $i$-th bit of image depends only on low-order bits $0,..., i$ of the pre-image. For example, all arithmetic operations (addition, multiplication) are $T$-functions, all bitwise logical operations ($\XOR$, $\AND$, etc.) are $T$-functions. Any composition of $T$-functions is a $T$-function as well. Thus $T$-functions are natural computer word-oriented functions. It turns out that $T$-functions are continuous (and often differentiable!) functions with respect to the so-called 2-adic distance. This observation gives a powerful tool to apply 2-adic analysis to construct wide classes of $T$-functions with provable cryptographic properties (long period, balance, uniform distribution, high linear complexity, etc.); these functions currently are being used in new generation of fast stream ciphers. We consider these ciphers as specific automata that could be associated to dynamical systems on the space of 2-adic integers. From this view the lectures could be considered as a course in cryptographic applications of the non-Archimedean dynamics; the latter has recently attracted significant attention in connection with applications to physics, biology and cognitive sciences. During the course listeners study non-Archimedean machinery and its applications to stream cipher design.

研究动机与目标

• 开发基于T-函数构建软件高效、密码学安全的伪随机数生成器（PRNG）的理论基础。
• 解决在快速软件导向型流密码中确保强密码学特性（如长周期、平衡性和均匀分布）的挑战。
• 通过利用T-函数在2-adic度量下的连续性和可微性，弥合非阿基米德p-adic分析与实际流密码设计之间的鸿沟。
• 为基于T-函数的PRNG生成的输出序列的安全特性（尤其是线性复杂度和分布特性）提供可证明保证。

提出的方法

• 将T-函数建模为在2-adic度量下连续且可微的函数，从而可应用p-adic分析研究其动力学行为。
• 使用Mahler级数和p-adic导数刻画T-函数的遍历性和兼容性，确保输出序列的均匀分布。
• 通过T-函数的复合（如加法、异或、位循环）构造流密码，保持T-函数性质的同时增强安全性。
• 应用半直积构造方法组合多个PRNG，以改善输出序列的周期性和分布特性。
• 基于线性反馈移位寄存器（LFSR）实现状态演化，结合特制输出函数与位反转置换，设计ABC流密码模板，以确保遍历性。
• 证明输出函数 $ F(x) = d + \sum_{j=0}^{n-1} d_j \cdot \delta_{n-j-1}(x) $ 在满足 $ \|d\|_2 = 1 $，$ d_0 \equiv 1 \pmod{4} $，且 $ \|d_j\|_2 = 2^{-j} $ 的条件下是遍历的，从而确保输出位的均匀分布。

实验结果

研究问题

• RQ1 如何系统地分析和构造T-函数，以确保其在流密码中具有可证明的密码学强度？
• RQ2 T-函数需满足何种条件，才能保证其输出序列在2-adic动力学下具有长周期和均匀分布？
• RQ3 2-adic分析能否用于正式验证基于T-函数的PRNG的线性复杂度和统计特性？
• RQ4 如何仅使用加法、异或和位移等快速操作，设计高效软件实现的密码学安全PRNG？
• RQ5 位反转置换在增强基于T-函数的流密码密码学特性方面起到何种作用？

主要发现

• T-函数在2-adic度量下是连续的，且通常可微，从而可应用非阿基米德分析对其进行研究。
• 基于T-函数的PRNG的输出序列，其周期至少为 $ 2^n k_j $（每个位位置 $ j $），其中 $ k_j \leq m $，确保了长周期特性。
• 每个位序列的线性复杂度超过 $ 2^{n-1} $，表明其对线性密码分析具有强抵抗力。
• 函数 $ F(x) = d + \sum_{j=0}^{n-1} d_j \cdot \delta_{n-j-1}(x) $ 是遍历的，当且仅当 $ \|d\|_2 = 1 $，$ d_0 \equiv 1 \pmod{4} $，且 $ \|d_j\|_2 = 2^{-j} $，该条件可确保输出位的均匀分布。
• 基于T-函数和LFSR状态演化的ABC流密码模板，可生成具有可证明长周期和高线性复杂度的序列，适用于高速软件部署。
• 通过结合位反转置换与特制输出函数，可在不牺牲性能的前提下实现高安全性，因为该置换可通过输出函数高效模拟。