대칭 부울 함수의 분해와 빠른 대수 공격

초록

이 논문은 대칭 부울 함수들을 새로운 방식으로 분해하고, 그 결과 거의 모든 대칭 함수가 빠른 대수 공격에 취약함을 보인다. 특히 최대 대수 면역성을 가진 함수들조차도 빠른 대수 공격에 의해 쉽게 무력화되며, 대칭 함수는 AAR(Algebraic Attack Resistant) 특성을 만족할 수 없다는 결론을 제시한다. 또한 대칭 함수의 대수 차수와 대수 면역성 사이의 관계를 강화한다.

상세 분석

본 논문은 먼저 대칭 부울 함수의 구조적 특성을 이용해 새로운 분해 정리를 제시한다. 구체적으로, n 변수 대칭 함수 f는 그라디언트(계수) 벡터를 기준으로 두 개의 하위 함수 g와 h의 합으로 표현될 수 있음을 증명한다. 이때 g는 짝수 차수 항만을 포함하고, h는 홀수 차수 항만을 포함한다는 점이 핵심이다. 이러한 분해는 기존의 Walsh 변환 기반 분석보다 계산량이 적고, 함수의 대수적 특성을 직접적으로 드러낸다.

분해 정리를 바탕으로 저자들은 빠른 대수 공격(Fast Algebraic Attack, FAA)의 두 단계—다항식 선택과 연산 복잡도 감소—를 정량적으로 분석한다. 특히, 대칭 함수의 계수 벡터가 일정한 패턴을 보일 경우, 낮은 차수의 보조 다항식 q(x)를 선택함으로써 원 함수와의 곱 f·q가 급격히 차수가 감소한다는 사실을 발견했다. 이는 기존에 “최대 대수 면역성(Algebraic Immunity, AI)”을 갖는다고 알려진 함수들조차도, q(x)의 차수가 O(log n) 수준이면 FAA에 의해 차수가 O(√n) 이하로 축소될 수 있음을 의미한다.

또한 논문은 AAR(Algebraic Attack Resistant) 함수라는 새로운 보안 척도를 도입한 선행 연구를 비판한다. AAR 함수는 고전적인 대수 공격과 빠른 대수 공격 모두에 대해 최소한의 복잡도를 요구한다는 정의를 갖는다. 저자들은 대칭 함수의 분해 구조와 FAA 분석 결과를 결합해, 어떠한 대칭 함수도 동시에 두 공격에 대해 충분한 저항성을 확보할 수 없음을 증명한다. 구체적으로, 대칭 함수의 대수 차수 d와 대수 면역성 AI 사이에는 d ≥ 2·AI − 1이라는 기존의 불평등이 존재한다. 이를 이용해 AI가 최대인 경우에도 d는 n/2 이하가 되며, 이는 FAA에서 차수 감소가 가능함을 보장한다.

마지막으로, 논문은 대칭 함수의 대수 차수와 대수 면역성 사이의 관계를 강화한다. 기존 연구에서는 AI ≤ ⌈n/2⌉ 라는 상한만 알려졌지만, 저자들은 분해 정리를 통해 AI ≥ ⌈(d+1)/2⌉ 라는 새로운 하한을 도출한다. 이는 대칭 함수 설계 시 차수와 면역성을 동시에 최적화하는 것이 근본적으로 제한적임을 시사한다. 전체적으로 이 논문은 대칭 부울 함수가 실용적인 스트림 암호 설계에서 신뢰할 수 있는 보안 기반이 되기 어렵다는 강력한 증거를 제공한다.