[논문 리뷰] Randomness and disorder of chaotic iterations. Applications in information security field

Xiaole Fang, Christophe Guyeux외 2명|arXiv (Cornell University)|2016. 11. 25.

Chaos-based Image/Signal Encryption참고 문헌 5인용 수 3

한 줄 요약

이 논문은 정수 영역에서의 혼돈적 반복(chaotic iterations)—이산 동역계 시스템—을 활용하여 보안성 높은 원형 생성기, 해시 함수, 대칭 암호와 같은 암호 primitive를 설계하는 프레임워크를 제안한다. 저자들은 이러한 시스템이 Devaney의 혼돈 기준(민감성, 전이성, 조밀한 주기점)을 만족함을 증명함으로써 강력한 무작위성과 무질서성 특성을 입증하며, 실수 영역 혼돈 시스템에서 발생하는 유한 정밀도에 의한 열화에 저항하는 강력한 보안 응용을 가능하게 한다.

ABSTRACT

Design and cryptanalysis of chaotic encryption schemes are major concerns to provide secured information systems. Pursuing our previous research works, some well-defined discrete chaotic iterations that satisfy the reputed Devaney's definition of chaos have been proposed. In this article, we summarize these contributions and propose applications in the fields of pseudorandom number generation, hash functions, and symmetric cryptography. For all these applications, the proofs of chaotic properties are outlined.

연구 동기 및 목표

• 디지털 구현에서 유한 정밀도 산술에 의해 발생하는 실수 영역 혼돈 시스템의 동적 열화 문제를 해결하기 위해.
• 유한 정밀도 영향을 피하면서도 혼돈적 행동을 유지하는 이산적이고 정수 기반의 프레임워크인 혼돈적 반복을 수립하기 위해.
• 혼돈적 반복을 실제 정보 보안 primitive에 적용하기 위해: 난수 생성, 암호 해시, 대칭 암호화.
• 제안된 구성이 Devaney의 혼돈 정의를 충족함을 공식적으로 증명하여 민감성, 전이성, 조밀한 주기점이 보장되도록 하기 위해.
• 시스템의 혼돈성이 해시 함수에서 충돌 저항성 및 제2-사전이미지 저항성과 같은 강력한 암호학적 성질로 이어지는지 보여주기 위해.

제안 방법

• 단일 성분만이 매 단계에서 업데이트되는 이산 동역계로 혼돈적 반복을 정의하며, 이는 $ S^n \in \llbracket 1, N \rrbracket $ 인 수열에 기반한다.
• 상태 공간 $ \mathcal{X} = \llbracket 1, N \rrbracket^\mathbb{N} \times \mathds{B}^N $ 위에서 이동 함수 $ \sigma $ 와 상태 갱신 함수 $ F_f $ 를 조합한 맵 $ G_f $ 로 시스템을 모델링한다.
• 메트릭 공간 $ (\mathcal{X}, d) $ 에서 위상적 전이성과 정규성(조밀한 주기점)을 증명하여 Devaney의 혼돈 정의를 충족시킨다.
• 안정한 PRNG를 사용해 반복 수열 $ S^n $ 을 생성함으로써 혼돈적 진동을 보장하는 난수 생성기(PRNG)를 구축한다.
• 입력 스트림에서 유도된 전략과 안정한 압축 함수 $ h $ 를 사용해 혼돈적 반복을 적용한 해시 함수 $ \mathcal{H}_h $ 를 설계하며, $ \mathcal{H}_h $ 가 $ h $ 로부터 충돌 저항성과 제2-사전이미지 저항성을 상속함을 증명한다.
• 암호 블록 체이닝(CBC) 방식을 혼돈적 동역계로 재구성하며, 맵 $ G_{\varepsilon_k \circ F_{f_0}} $ 를 사용하고, 관련 그래프 $ \mathcal{G}_g $ 가 강하게 연결되어 있으면 혼돈임을 증명한다.

실험 결과

연구 질문

• RQ1 정수 영역에서 정의된 이산 혼돈적 반복은 암호 응용 분야에서 실수 영역 혼돈 시스템에 대한 안정적인 대안이 될 수 있는가?
• RQ2 혼돈적 반복은 Devaney의 공식적 혼돈 정의를 만족하는가? 그리고 이는 이산적이고 유한한 메트릭 공간에서 증명될 수 있는가?
• RQ3 혼돈적 반복을 사용해 유한 정밀도 열화를 피하는 안정적인 난수 생성기를 설계할 수 있는가?
• RQ4 혼돈적 반복을 해시 함수에 적용할 경우, 충돌 저항성 및 제2-사전이미지 저항성과 같은 핵심 암호학적 성질이 유지되는가?
• RQ5 기본 CBC 운영 방식은 Devaney 기준에 따라 본질적으로 혼돈적인가? 그리고 이러한 성질이 성립하는 조건은 무엇인가?

주요 결과

• 정수 영역에서 정의된 혼돈적 반복은 유한 정밀도 열화를 피하여 디지털 구현에서 안정적이고 예측 불가능한 역학을 보장한다.
• 제안된 혼돈적 반복 기반 PRNG는 기반 시스템의 혼돈적 행동을 이어받아 강력한 무작위성과 초기 조건에 대한 민감성을 보장한다.
• 구성된 해시 함수 $ \mathcal{H}_h $ 는 안정한 압축 함수 $ h $ 가 보장된 한, $ h $ 의 충돌 저항성과 제2-사전이미지 저항성을 유지한다.
• 관련 방향 그래프 $ \mathcal{G}_g $ 가 강하게 연결되어 있으면 CBC 운영 방식이 혼돈적임을 증명하였으며, 전통적 암호학과 위상적 혼돈을 연결한다.
• 시스템의 혼돈적 역학은 Devaney 기준을 통해 공식적으로 입증되었으며, 민감성, 위상적 전이성, 메트릭 공간 내 조밀한 주기점이 포함된다.
• 이 프레임워크는 증명된 동역학적 혼돈을 갖는 보안성 높은 암호 primitive의 설계를 가능하게 하여, 혼돈 기반 암호학의 새로운 이론적 기초를 제공한다.