[논문 리뷰] On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems

Jacques M. Bahi, Jean-François Couchot외 2명|arXiv (Cornell University)|2011. 12. 07.

Chaos-based Image/Signal Encryption인용 수 6

한 줄 요약

이 논문은 불리안 네트워크에서 혼돈적인 이산 시간 반복이 발생하는 것은 네트워크의 반복 그래프가 강하게 연결되어 있을 때에만 보장된다는 것을 입증한다. 이 연결성을 확보하기 위한 상호작용 그래프에 대한 충분조건을 제시하여, 증명 가능한 혼돈적 함수를 생성하는 구축 가능한 방법을 가능하게 한다. 이 방법은 난수 생성기에서 검증되었으며, 테스트된 모든 함수가 NIST 통계 테스트 세트를 통과했고, p-값이 1% 이상이었다.

ABSTRACT

Chaotic functions are characterized by sensitivity to initial conditions, transitivity, and regularity. Providing new functions with such properties is a real challenge. This work shows that one can associate with any Boolean network a continuous function, whose discrete-time iterations are chaotic if and only if the iteration graph of the Boolean network is strongly connected. Then, sufficient conditions for this strong connectivity are expressed on the interaction graph of this network, leading to a constructive method of chaotic function computation. The whole approach is evaluated in the chaos-based pseudo-random number generation context.

연구 동기 및 목표

• 불리안 네트워크에서의 혼돈적 이산 시간 반복을 위상적 혼돈 기준(민감성, 전이성, 조밀한 주기점)을 사용하여 특성화하기 위해.
• 상호작용 그래프의 구조와 시스템의 혼돈적 행동 간의 구축 가능한 연결 고리를 확립하기 위해.
• 이산 불리안 사상의 사용을 통해 유한 정밀도 구현에서도 혼돈적 성질이 유지되도록 보장하기 위해.
• 균일한 출력 분포를 확보하기 위해 이 프레임워크를 의사난수 생성기(PRNG)에 적용하기 위해.
• 난이도 품질 평가를 위해 NIST 통계 테스트 세트 SP 800-22를 사용하여 접근법을 검증하기 위해.

제안 방법

• 불리안 네트워크 $ f: \mathds{B}^n \to \mathds{B}^n $ 로부터 유도된 연속 함수 $ G_f $ 를 정의하여, 이질적인 반복을 모델링한다. 이 함수는 공간 $ \llbracket 1;n\rrbracket^{\mathbb{N}} \times \mathds{B}^n $ 에 정의된다.
• 반복 그래프 $ \Gamma(f) $ 가 강하게 연결되어 있을 때에만 $ G_f $ 가 디바네의 의미에서 위상적으로 혼돈적임을 증명한다.
• 상호작용 그래프 $ G(f) $ 를 사용하여 $ \Gamma(f) $ 의 강한 연결성에 대한 충분조건를 표현한다. 이 그래프는 오직 $ n $ 개의 노드만을 가진다.
• 상호작용 그래프가 이러한 구조적 조건(예: 강한 연결성, 이중 스토케스티시티)을 만족하도록 함으로써 혼돈적 함수를 구축한다.
• 유도된 마르코프 체인이 이중 스토케스틱일 것을 요구함으로써 PRNG의 균일한 출력 분포를 특성화한다.
• 1% 유의수준을 사용하여 NIST SP 800-22 테스트 세트를 통해 유도된 PRNG를 평가한다.

실험 결과

연구 질문

• RQ1 불리안 네트워크의 상호작용 그래프에 어떤 조건이 성립할 경우, 관련된 이산 시간 동역학계가 혼돈적일까?
• RQ2 불리안 네트워크에서 혼돈적 행동은 유한 정밀도 구현에서도 유지될 수 있으며, 이를 어떻게 보장할 수 있을까?
• RQ3 상호작용 그래프의 어떤 구조적 성질이 출력 분포에 대한 유도된 마르코프 체인이 이중 스토케스틱이 되도록 보장하는가?
• RQ4 제안된 방법을 사용하여 보증된 혼돈적이고 균일하게 분포된 출력을 가지는 PRNG를 어떻게 구축할 수 있는가?
• RQ5 생성된 함수들이 NIST SP 800-22와 같은 표준 통계적 난이도 테스트를 얼마나 잘 통과하는가?

주요 결과

• 불리안 네트워크는 그 반복 그래프가 강하게 연결되어 있을 때에만 혼돈적 이산 시간 동역학계를 생성한다.
• 반복 그래프의 강한 연결성을 보장하기 위한 충분조건는 상호작용 그래프의 구조로부터 유도되며, 이는 혼돈적 맵를 체계적으로 구축하는 데 가능하게 한다.
• 테스트된 16개의 혼돈적 함수(예: $ \mathcal{F}_1 $ 에서 $ \mathcal{F}_{16} $) 전부가 NIST SP 800-22 테스트 세트를 통과했으며, 15개의 모든 테스트에서 p-값이 1%를 초과했다.
• 유도된 마르코프 체인이 이중 스토케스틱인 함수들은 균일하게 분포된 출력을 생성하며, 이는 PRNG의 핵심 요구사항이다.
• 이 방법은 이론적 혼돈이 구현 단계에서도 유지됨을 보장하여, 부동소수점 산술에서 혼돈적 성질의 손실을 방지한다.
• 이 접근법은 일반적이며 PRNG를 넘어서 암호, 스테가노그래피, 해시 함수 등 다양한 분야에 적용 가능하다.