[논문 리뷰] Non-Archimedean analysis, T-functions, and cryptography

Vladimir Anashin|ArXiv.org|2006. 12. 06.

advanced mathematical theories참고 문헌 16인용 수 5

한 줄 요약

이 논문은 2-adic 해석에서 연속 함수로 모델링된 T-함수—하위 비트에만 의존하는 비트 연산—를 사용하여 고성능이고 암호학적으로 안전한 스트림 암호를 설계하기 위한 새로운 프레임워크를 소개한다. 주요 기여는 특정 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 해석을 적용해 그 역학적 행동을 연구할 수 있도록 하는 것.
• Mahlert의 급수와 p-adic 도함수를 사용해 T-함수의 에르고딕성과 호환성을 특성화하여 출력 시퀀스의 균일한 분포를 보장하는 것.
• T-함수의 성질을 유지하면서 보안성을 향상시키기 위해 덧셈, XOR, 비트 회전 등의 조합을 사용해 스트림 암호를 구성하는 것.
• 위어 제품 구성을 적용해 다수의 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 덧셈, XOR, 비트 시프트와 같은 빠른 연산만을 사용해 효율적인 소프트웨어 구현이 가능한 안전한 PRNG를 어떻게 설계할 수 있는가?
• RQ5 비트 뒤집기 순열은 T-함수 기반 스트림 암호의 암호학적 성질을 향상시키는 데 어떤 역할을 하는가?

주요 결과

• T-함수는 2-adic 거리에서 연속적이며 일반적으로 미분 가능하므로, 비아르키메데스 해석을 적용해 그 연구가 가능하다.
• T-함수 기반 PRNG의 출력 시퀀스는 각 비트 위치 $ j $ 에 대해 최소 $ 2^n k_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 스트림 암호 템플릿은 증명 가능한 긴 주기와 높은 선형 복잡도를 갖는 시퀀스를 생성하므로 고속 소프트웨어 배포에 적합하다.
• 비트 뒤집기 순열과 특수하게 설계된 출력 함수의 조합은 성능을 희생시키지 않고도 높은 보안성을 달성할 수 있으며, 이 순열은 출력 함수를 통해 효율적으로 모의 구현될 수 있다.