[논문 리뷰] Elementary abelian regular subgroups as hidden sums for cryptographic trapdoors

Marco Calderini, Massimiliano Sala|arXiv (Cornell University)|2017. 02. 02.

Coding theory and cryptography참고 문헌 23인용 수 6

한 줄 요약

이 논문은 암호학적 트랩도를 가능하게 하는 대수적 구조로, 애핀 일반선형군 내에서의 초등 아벨 정규 부분군(이하 '히든 합')을 도입한다. 원소의 표현, 동형류의 분류, 조합적 수식의 유도를 통해 저자들은 이러한 부분군이 트랩도를 삽입하거나 탐지하는 데 어떻게 활용될 수 있는지 보여주며, 대칭 암호에 대한 새로운 대수적 공격 기법을 제시한다.

ABSTRACT

We study special subgroups of the affine general linear group acting on a vector space. To be more precise, we study elementary abelian regular sub- groups. It turns out that these have a strong cryptographic significance, since they can be exploited to insert or detect algebraic trapdoors in block ciphers. When used in this context, they take the name of hidden sums. Our results include a convenient representation of their elements, a classification of their conjugacy classes and several combinatorial counting formulas. We also show how to use hidden sums to attack a block cipher and we hint at ongoing research, where the hidden sums are studied to obtain more sophisticated algebraic attacks.

연구 동기 및 목표

• 애핀 일반선형군 내에서 초등 아벨 정규 부분군의 암호학적 의의를 조사하는 것.
• 이러한 부분군을 이용해 블록 암호에 대수적 트랩도를 탐지하거나 삽입할 수 있는 프레임워크를 수립하는 것.
• 실용적인 암호 분석을 위한 히든 합의 체계적 표현과 분류를 제공하는 것.
• 유한 벡터 공간 내에서 이러한 부분군의 수를 세는 조합적 수식을 유도하는 것.
• 대칭 암호에서 히든 합을 활용한 대수적 공격의 실현 가능성을 보여주는 것.

제안 방법

• 유한체 위의 벡터 공간 구조를 이용해 초등 아벨 정규 부분군의 원소를 표현하는 것.
• 애핀 일반선형군의 작용 하에서 이러한 부분군의 동형류를 분류하는 것.
• 주어진 벡터 공간 내에서 이러한 부분군의 수를 세는 조합적 수식을 도출하는 것.
• 군론적 성질을 활용해 히든 합이 블록 암호 설계에 어떻게 통합될 수 있는지 모델링하는 것.
• 히든 합을 이용해 대수적 변환을 통해 대칭 암호에 트랩도를 삽입하거나 탐지할 수 있는 방법을 보여주는 것.
• 이론적 프레임워크를 적용해 블록 암호에 대한 잠재적 대수적 분석 기법을 설계하는 것.

실험 결과

연구 질문

• RQ1 초등 아벨 정규 부분군은 애핀 일반선형군 내에서 어떻게 표현되고 특성화될 수 있는가?
• RQ2 이러한 부분군의 동형류 구조는 무엇이며, 그 구조는 암호학적 유용성에 어떻게 영향을 미치는가?
• RQ3 유한 차원 벡터 공간 내에서 이러한 부분군의 수를 제어하는 조합적 수식은 무엇인가?
• RQ4 히든 합은 블록 암호 설계에서 어떻게 대수적 트랩도로 기능할 수 있는가?
• RQ5 히든 합은 대칭 암호에 대해 효과적인 대수적 공격을 수행하는 데 어떻게 활용될 수 있는가?

주요 결과

• 초등 아벨 정규 부분군은 유한체 위의 벡터 공간 좌표를 이용해 명시적으로 표현할 수 있다.
• 애핀 일반선형군 내에서 이러한 부분군의 동형류에 대한 완전한 분류가 수립되었다.
• 주어진 차원을 갖는 특정 벡터 공간 내에서 이러한 부분군의 수를 세는 조합적 수식이 도출되었다.
• 히든 합의 구조는 블록 암호에 대수적 트랩도를 삽입하거나 탐지하는 데 기여한다.
• 이러한 부분군은 숨겨진 대수적 구조를 통해 대칭 암호에 대한 새로운 대수적 공격 기반을 제공한다.
• 이론적 프레임워크는 히든 합을 기반으로 한 더 복잡한 대수적 분석 기법에 대한 향후 연구를 지원한다.