[논문 리뷰] Symmetric Boolean Function with Maximum Algebraic Immunity on Odd Number of Variables

Na Li, Wen‐Feng Qi|ArXiv.org|2005. 11. 29.

Coding theory and cryptography참고 문헌 13인용 수 3

한 줄 요약

이 논문은 임의의 홀수 개의 변수 n에 대해, 최대 대수적 면역도 ⌈n/2⌉에 도달하는 정확히 하나의 비자명한 균형 잡힌 n변수 대칭 부울 함수가 존재함을 증명한다. 또한, 이 최대 면역도에 도달하는 대칭 부울 함수의 대수적 정규형(ANF)에 대한 필수 조건을 유도하여, 대수적 공격에 대한 최적의 저항성을 갖는 내성 암호 함수를 설계하는 데 핵심적인 특성 제공한다.

ABSTRACT

To resist algebraic attack, a Boolean function should possess good algebraic immunity (AI). Several papers constructed symmetric functions with the maximum algebraic immunity $\lceil \frac{n}{2} ceil $. In this correspondence we prove that for each odd $n$, there is exactly one trivial balanced $n$-variable symmetric Boolean function achieving the algebraic immunity $\lceil \frac{n}{2} ceil $. And we also obtain a necessary condition for the algebraic normal form of a symmetric Boolean function with maximum algebraic immunity.

연구 동기 및 목표

• 홀수 개의 변수를 갖는 대칭 부울 함수가 이론적으로 가능한 최대 대수적 면역도 ⌈n/2⌉에 도달할 수 있는지 여부를 규명하는 것.
• 홀수 개의 변수를 갖는 대칭 부울 함수 중 최대 대수적 면역도를 갖는 함수의 구조를 특성화하는 것.
• 그러한 함수의 대수적 정규형(ANF)에 대해 필수 조건을 규명하는 것.
• 홀수 n에 대해 최대 대수적 면역도를 갖는 비자명한 균형 잡힌 대칭 함수의 유일성을 증명하는 것.

제안 방법

• 저자들은 대칭 부울 함수의 대수적 정규형(ANF)의 성질을 활용하여 그들의 대수적 면역도를 분석한다.
• 조합론적 및 대수적 기법을 적용하여 대칭 함수의 소거자 차수를 평가한다.
• 최대 대수적 면역도를 갖는 대칭 함수의 ANF 계수에 대한 필수 조건을 도출한다.
• 홀수 n에 대해 유일하게 최대 대수적 면역도 ⌈n/2⌉에 도달할 수 있는 것은 비자명한 균형 잡힌 대칭 함수(해밍 무게에 따라 상수 1 또는 0) 뿐임을 증명한다.
• 대칭성과 무게 기반 분해를 활용하여 일반 케이스를 유한한 후보 집합으로 축소한다.
• 대칭 제약 조건 하에서 ANF의 구조적 분석과 모순에 기반한 방법을 통해 유일성 결과를 검증한다.

실험 결과

연구 질문

• RQ1 홀수 n에 대해, 대수적 면역도가 ⌈n/2⌉인 대칭 부울 함수가 존재하는가?
• RQ2 홀수 개의 변수를 갖는 대칭 부울 함수 중 최대 대수적 면역도를 갖는 함수의 구조는 어떠한가?
• RQ3 비자명한 균형 잡힌 대칭 함수가 홀수 n에 대해 최대 대수적 면역도를 달성할 수 있는가?
• RQ4 그러한 함수의 대수적 정규형(ANF)이 만족해야 할 필수 조건은 무엇인가?
• RQ5 비자명한 대칭 함수가 홀수 n에 대해 최대 대수적 면역도를 달성할 수 있는가?

주요 결과

• 모든 홀수 n에 대해, 최대 대수적 면역도 ⌈n/2⌉에 도달하는 정확히 하나의 비자명한 균형 잡힌 n변수 대칭 부울 함수가 존재한다.
• 이 유일한 함수는 해밍 무게의 홀짝성에 따라 해당 무게의 모든 입력에서 상수 1 또는 상수 0로 정의된다.
• 논문은 최대 대수적 면역도를 갖는 대칭 함수의 대수적 정규형(ANF) 계수에 대한 필수 조건을 설정한다.
• 비자명한 대칭 함수는 홀수 n에 대해 최대 대수적 면역도를 달성할 수 없다.
• 결과적으로, 홀수 개의 변수를 갖는 대칭 함수의 최대 달성 가능한 대수적 면역도는 확실히 ⌈n/2⌉이며, 이는 오직 비자명한 균형 잡힌 함수에서만 달성 가능하다는 것을 확인한다.
• ANF의 특성화는 스트림 암호 설계에서 대수적 공격에 대한 최적의 저항성을 갖는 대칭 함수를 식별하고 설계하는 데 핵심적인 도구를 제공한다.