[논문 리뷰] Steganography: a Class of Algorithms having Secure Properties

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

Advanced Steganography and Watermarking Techniques참고 문헌 10인용 수 4

한 줄 요약

이 논문은 유한 부울 동역계에서 Devaney의 위상적 혼돈을 기반으로 한 비맹검출 스테고그래피 알고리즘의 형식화된 클래스를 제안한다. 강한 연결성과 이중 확률 행렬을 갖는 혼돈적 반복을 활용하여, 저자들은 스테고-보안(스테고 상태의 균일 분포)과 혼돈-보안(Devaney 혼돈)을 증명하며, 이는 이전의 dhCI 알고리즘을 다양한 모드와 전략-어댑터로 일반화한 것이다.

ABSTRACT

Chaos-based approaches are frequently proposed in information hiding, but without obvious justification. Indeed, the reason why chaos is useful to tackle with discretion, robustness, or security, is rarely elucidated. This research work presents a new class of non-blind information hidingalgorithms based on some finite domains iterations that are Devaney's topologically chaotic. The approach is entirely formalized and reasons to take place into the mathematical theory of chaos are explained. Finally, stego-security and chaos security are consequently proven for a large class of algorithms.

연구 동기 및 목표

• 유한 부울 공간에서 혼돈적 반복을 기반으로 한 비맹검출 스테고그래피 알고리즘의 일반 클래스를 형식화하는 것.
• 마르코프 체인의 수렴을 통해 균일한 정적 분포에 도달함으로써 스테고-보안—즉, 스테고 상태의 균일 분포—를 증명하는 것.
• 강한 연결성의 반복 그래프를 통해 스테고-보안을 확보함으로써 Devaney 혼돈을 증명함으로써 혼돈-보안을 확립하는 것.
• dhCI 알고리즘의 보안 성질을 부정 모드를 초월하여 다양한 함수와 전략-어댑터로 일반화하는 것.
• 보안, 은폐성, 혼돈 기반 성질을 통합하는 이론적 기반을 제공하는 것.

제안 방법

• 이 방법은 전략-어댑터를 사용하여 비동기적 반복을 수행하는 부울 이산 시간 동역계(BS)를 활용하며, 비트 업데이트를 위한 색인 시퀀스를 생성한다.
• 각 $ n $에 대해 부정 함수를 일반화한 $ f_n: \mathds{B}^n \to \mathds{B}^n $ 형태의 모드 함수를 정의한다.
• 전략-어댑터는 커버 데이터와 무관하게 $ \llbracket 1, l \rrbracket $ 범위 내 색인의 균일 분포(u.d.)를 보장한다.
• 반복 과정은 전이 행렬 $ M $를 갖는 마르코프 체인으로 모델링되며, $ \pi^{t+1} = \pi^t M $ 로 표현된다.
• 스테고-보안은 마르코프 체인이 이중 확률 행렬 $ M $ 조건 하에서 균일한 정적 분포 $ \pi = (1/2^l, \dots, 1/2^l) $ 로 수렴함을 보여 증명된다.
• 혼돈-보안은 반복 그래프 $ \Gamma(f) $ 가 강하게 연결되어 있음을 증명함으로써 Devaney 혼돈 조건(민감한 의존성, 조밀한 궤도, 위상적 전이성)을 만족함을 보여 확립된다.

실험 결과

연구 질문

• RQ1 스테고-보안과 혼돈-보안이 모두 증명 가능한 일반적인 스테고그래피 알고리즘 클래스를 형식적으로 정의할 수 있는가?
• RQ2 혼돈적 반복에 의해 유도된 마르코프 체인이 균일 분포로 수렴하면 스테고-보안이 보장되는가?
• RQ3 모드 함수와 전략-어댑터에 어떤 조건이 충족되어야 반복 과정에서 Devaney 혼돈이 달성되는가?
• RQ4 dhCI 알고리즘의 보안 성질을 부정 모드를 초월하여 다른 부울 함수로 일반화할 수 있는가?
• RQ5 반복 그래프 $ \Gamma(f) $ 의 어떤 구조적 성질이 혼돈-보안과 스테고-보안을 동시에 보장하는가?

주요 결과

• 스테고-보안이 달성되는데, 이는 반복 과정에 의해 유도된 마르코프 체인이 균일한 정적 분포 $ \pi = (1/2^l, \dots, 1/2^l) $ 로 수렴함으로써 스테고 상태의 구분 불가능성을 보장하기 때문이다.
• 스테고-보안은 모드 함수와 관련된 마르코프 행렬 $ M $ 가 이중 확률 행렬이면서 정규 행렬이라는 조건 하에서 형식적으로 증명된다.
• 반복 그래프 $ \Gamma(f) $ 가 강하게 연결되어 있을 경우, Devaney 혼돈 조건(민감한 의존성, 조밀한 궤도, 위상적 전이성)이 충족됨을 증명함으로써 혼돈-보안이 확립된다.
• 이 알고리즘 클래스는 모드 함수 $ f_n $ 의 반복 그래프 $ \Gamma(f_n) $ 가 강하게 연결되어 있고, 마르코프 행렬이 이중 확률 행렬인 경우에 대해 임의의 모드 함수를 허용함으로써 dhCI 알고리즘을 일반화한다.
• CIIS 전략-어댑터가 균일하게 분포된 색인을 생성함을 보여, 스테고-보안에 요구되는 u.d. 조건을 충족함을 입증하였다.
• 이론적 프레임워크는 적절한 모드와 전략-어댑터를 선택하여 그래프 이론적 및 행렬 성질을 갖춘 안전한 스테고그래피 체계를 체계적으로 구축할 수 있도록 한다.