[논문 리뷰] Efficient Encoding of Watermark Numbers as Reducible Permutation Graphs

Maria Chroni, Stavros D. Nikolopoulos|arXiv (Cornell University)|2011. 10. 06.

Advanced Malware Detection Techniques참고 문헌 30인용 수 6

한 줄 요약

이 논문은 자기역전 순열을 이용하여 워터마크 번호를 분해 가능 성질을 가진 순열 흐름 그래프로 인코딩하는 효율적인 선형 시간 코덱 시스템을 제안한다. 지배 관계와 DAG 표현을 활용함으로써, 인코딩 및 디코딩 모두 O(n)의 시간 및 공간 복잡도를 달성하며, 그래프 및 순열의 고유한 성질 덕분에 구조적 변조에 대해 강력한 내성을 확보한다.

ABSTRACT

In a software watermarking environment, several graph theoretic watermark methods use numbers as watermark values, where some of these methods encode the watermark numbers as graph structures. In this paper we extended the class of error correcting graphs by proposing an efficient and easily implemented codec system for encoding watermark numbers as reducible permutation flow-graphs. More precisely, we first present an efficient algorithm which encodes a watermark number $w$ as self-inverting permutation $π^*$ and, then, an algorithm which encodes the self-inverting permutation $π^*$ as a reducible permutation flow-graph $F[π^*]$ by exploiting domination relations on the elements of $π^*$ and using an efficient DAG representation of $π^*$. The whole encoding process takes O(n) time and space, where $n$ is the binary size of the number $w$ or, equivalently, the number of elements of the permutation $π^*$. We also propose efficient decoding algorithms which extract the number $w$ from the reducible permutation flow-graph $F[π^*]$ within the same time and space complexity. The two main components of our proposed codec system, i.e., the self-inverting permutation $π^*$ and the reducible permutation graph $F[π^*]$, incorporate important structural properties which make our system resilient to attacks.

연구 동기 및 목표

• 소프트웨어 워터마크 번호를 그래프 구조로 변환하기 위한 강력하고 효율적인 코덱 시스템 개발.
• 자기역전 순열과 분해 가능 그래프의 구조적 성질을 활용하여 일반적인 코드 변형 및 공격에 대한 내성 확보.
• 인코딩 및 디코딩 과정에서 최적의 시간 및 공간 복잡도(O(n)) 달성.
• 노드 레이블이 수정되거나 제거된 경우에도 신뢰할 수 있는 워터마크 복원 가능 보장.
• 실용적이고 구현 가능한 알고리즘을 통해 소프트웨어 워터마킹을 위한 오류 수정 가능 그래프의 범주 확장.

제안 방법

• 알고리즘 Encode_W-to-SIP는 비트 단위 조작과 시퀀스 연산을 사용하여 O(n) 시간 내에 워터마크 번호 w를 자기역전 순열 π*로 매핑한다.
• 알고리즘 Encode_SIP-to-RPG는 지배 관계를 활용하여 π*에서 분해 가능 순열 흐름 그래프 F[π*]를 구성하며, DAG 및 리스트 자료구조를 사용한다.
• 그래프 F[π*]는 유일한 해밀턴 경로를 가진 방향 비순환 그래프로 표현되어, 레이블이 없거나 수정된 버전에서도 효율적으로 재구성 가능하다.
• 디코딩은 재구성된 방향 트리 T[π*]에서 DFS 순회를 수행하여 π*를 복원한 후, 원래의 워터마크 번호 w로 변환한다.
• 전체 코덱 파이프라인은 기본적인 자료구조와 연산에 기반하여 구현이 용이하고 계산 오버헤드가 낮다.
• 레이블 복구는 해밀턴 경로 구조를 통해 이루어지며, 레이블이 없는 또는 노드가 수정된 그래프에서 레이블 재할당이 가능하다.

실험 결과

연구 질문

• RQ1 워터마크 번호를 선형 시간 및 공간 복잡도로 그래프 구조로 변환하면서도 코드 변형에 대한 내성을 유지할 수 있는가?
• RQ2 자기역전 순열을 어떻게 활용하여 워터마킹을 위한 강력한 중간 표현을 만들 수 있는가?
• RQ3 지배 관계와 DFS 순회를 이용해 분해 가능 순열 그래프를 효율적으로 구성하고 디코딩할 수 있는가?
• RQ4 시스템은 변조되거나 레이블이 없는 그래프에서 워터마크를 얼마나 잘 복원할 수 있는가?
• RQ5 자기역전 순열과 분해 가능 그래프의 어떤 구조적 성질이 일반적인 공격에 대한 저항력을 향상시키는가?

주요 결과

• 제안된 코덱 시스템은 워터마크 번호의 이진 길이 n에 대해 인코딩 및 디코딩 모두 O(n)의 시간 및 공간 복잡도를 달성한다.
• 수정되거나 레이블이 없는 분해 가능 순열 흐름 그래프 F[π*]에서도 O(n) 시간 및 공간 내에 원래의 워터마크를 재구성할 수 있다.
• 자기역전 순열의 사용 덕분에 임의의 정수 w를 크기 O(log n)의 집합에서 π*로 인코딩할 수 있으며, 이는 구조적 비용 증가를 최소화한다.
• F[π*]에 존재하는 유일한 해밀턴 경로 덕분에 레이블 재할당이 결정론적으로 수행되어, 노드 레이블 제거 후에도 신뢰할 수 있는 디코딩이 보장된다.
• π*의 구조적 성질(비톤성)과 F[π*]의 성질(분해 가능성)은 단일 또는 다중 노드/에지 수정에 대한 내성을 내재적으로 제공한다.
• 이 방법은 기본 자료구조로도 쉽게 구현 가능하며 강력하여 실용적인 소프트웨어 워터마킹 응용에 적합하다.