[論文レビュー] Non-Archimedean analysis, T-functions, and cryptography

Vladimir Anashin|ArXiv.org|Dec 6, 2006

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

ひとこと要約

本稿では、2進p進解析における連続関数としてモデル化することで、T関数（出力ビットが入力ビットの下位ビットにのみ依存するビット単位の演算）を用いて、高速かつ暗号的に安全なストリーム暗号を設計するための新規フレームワークを提示する。主な貢献は、特定の2進p進混合性を持つ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.

研究の動機と目的

• ソフトウェア効率的で暗号的に安全な擬似乱数生成器（PRNG）をT関数を用いて構築するための理論的基盤を構築すること。
• 高速なソフトウェア指向ストリーム暗号において、長い周期、バランス、均一な分布といった強力な暗号的性質を保証する課題に取り組むこと。
• T関数の連続性と微分可能性を2進p進距離に基づいて活用することで、非アーチメデス的p進解析と実用的なストリーム暗号設計を橋渡しすること。
• T関数に基づくPRNGが出力する系列の暗号的性質について、特に線形複雑性と分布に関する証明可能な保証を提供すること。

提案手法

• T関数を2進p進距離において連続的かつ微分可能関数としてモデル化し、その力学的挙動をp進解析を用いて研究可能にする。
• Mahler級数とp進微分を用いてT関数の混合性と整合性を特徴づけ、出力系列の均一な分布を保証する。
• 加法、XOR、ビットローテーションなどのT関数の合成を用いてストリーム暗号を構築し、T関数性を維持しながらセキュリティを強化する。
• 群の wreath 積構成を用いて複数の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進p進力学的挙動下で出力系列の周期が長く、均一な分布を示すようになるか？
• RQ3 2進p進解析を用いて、T関数に基づくPRNGが出力する系列の線形複雑性と統計的性質を正式に検証可能か？
• RQ4 加法、XOR、ビットシフトといった高速な演算のみを用いて、効率的なソフトウェア実装が可能な安全なPRNGをどのように設計できるか？
• RQ5 ビット反転置換は、T関数に基づくストリーム暗号の暗号的性質を向上させる役割を果たすか？

主な発見

• T関数は2進p進距離において連続的であり、多くの場合微分可能であるため、非アーチメデス的解析をその研究に適用可能となる。
• T関数に基づくPRNGの出力系列は、各ビット位置 $ j $ に対して少なくとも $ 2^n k_j $ の周期を持つ（$ k_j \leq m $）。これにより、長周期が保証される。
• 各ビット系列の線形複雑性は $ 2^{n-1} $ を超えるため、線形 cryptanalysis に対して強い耐性を示す。
• 関数 $ 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ストリーム暗号テンプレートは、証明可能な長い周期と高い線形複雑性を持つ系列を生成する。これにより、高速なソフトウェア環境への適用に適している。
• ビット反転置換と特別に設計された出力関数の組み合わせにより、性能を犠牲にすることなく高いセキュリティを実現可能であり、置換は出力関数によって効率的にエミュレート可能である。