[논문 리뷰] Dynamic MDS Matrices for Substantial Cryptographic Strength

Muhammad Yasir Malik, Jong‐Seon No|arXiv (Cornell University)|2011. 08. 31.

Cryptographic Implementations and Security참고 문헌 6인용 수 4

한 줄 요약

이 논문은 블록 암호에서 암호학적 강도를 향상시키기 위해 동적이고 랜덤한 최대 거리 분리(MDS) 행렬을 제안한다. 유한체 위에서의 대수적 구성 기법을 활용하여, 암호학적으로 강력하고 키 기반으로도 영향을 받는 유연한 MDS 행렬을 생성함으로써, 효율적인 하드웨어 및 소프트웨어 구현을 희생시키지 않은 채 개선된 확산 성질을 달성한다.

ABSTRACT

Ciphers get their strength from the mathematical functions of confusion and diffusion, also known as substitution and permutation. These were the basics of classical cryptography and they are still the basic part of modern ciphers. In block ciphers diffusion is achieved by the use of Maximum Distance Separable (MDS) matrices. In this paper we present some methods for constructing dynamic (and random) MDS matrices.

연구 동기 및 목표

• 현대 블록 암호에서 더 강력한 확산 메커니즘의 필요성을 해결하기 위해 MDS 행렬의 설계를 개선한다.
• 암호학적 강도를 유지하면서도 키 기반으로 변동 가능한 동적이고 랜덤한 MDS 행렬을 생성하는 방법을 개발한다.
• 낮은 복잡도로 소프트웨어 및 하드웨어 구현에 적합한 행렬을 확보한다.
• MDS 성질과 높은 확산 성질을 보장하는 바탕이 되는, 체계적인, 소수체 대수 기반의 구성 방법을 제공한다.
• 변환 계층의 대수적 복잡도를 높여 선형 및 미분 cryptanalysis에 대한 저항력을 강화한다.

제안 방법

• 저자들은 GF(2^n) 위에서의 유한체 산술을 사용하여, 비밀 키 자료에 기반한 동적 성질을 가진 MDS 행렬을 구성한다.
• 재귀적 구성과 순환 유사 구조를 적용하여, 낮은 구현 비용을 가진 MDS 행렬을 생성한다.
• 구성된 행렬의 모든 부분행렬이 전 Rank를 가지도록 보장하여 MDS 조건을 만족시킨다.
• 행렬의 항목을 비밀 키 비트로 매개변수화함으로써 동적 성질을 달성하고, 키 기반의 변동 가능성을 실현한다.
• 행렬식이 0이 아니고, 소수행렬이 전 Rank를 가지는 등의 대수적 기준을 사용하여 방법을 검증한다.
• 곱셈 연산을 최소화하고 병렬성을 극대화함으로써 소프트웨어 및 하드웨어 효율성을 지원한다.

실험 결과

연구 질문

• RQ1 비밀 키에 기반하여 암호학적으로 강력하고 동시에 동적으로 변할 수 있는 MDS 행렬은 어떻게 구성할 수 있는가?
• RQ2 어떤 소수체 위에서의 대수적 구조가 동적 성질을 가진 효율적이고 증명 가능하게 안전한 MDS 행렬 생성을 가능하게 하는가?
• RQ3 실세계 암호에서 실제 구현 복잡도를 줄이면서도 최적의 확산 성질을 유지할 수 있는가?
• RQ4 동적 MDS 구성에서 암호학적 강도, 무작위성, 계산 효율성 간의 상호 교환 관계는 무엇인가?
• RQ5 다양한 키 기반 인스턴스에서 MDS 성질이 어떻게 유지될 수 있는가?

주요 결과

• 제안된 방법은 소수체 대수 기반에서 동적이고 증명 가능하게 안전한 MDS 행렬을 성공적으로 생성한다.
• MDS 조건 덕분에 최적의 확산 성질을 달성하여 선형 및 미분 cryptanalysis에 대한 저항력을 보장한다.
• 키 기반 변동을 지원함으로써, 암호화 세션마다 고유한 행렬을 생성하면서도 보안을 훼손하지 않는다.
• 낮은 계산 복잡도를 가진 행렬을 생성하여 임베디드 환경과 고성능 환경 모두에 적합하다.
• 저자들은 GF(2^8) 위에서 재귀적이고 순환 기반의 구조를 사용하여 동적 MDS 행렬을 효율적으로 생성할 수 있음을 입증한다.
• 모든 소수행렬이 0이 아니라는 점을 보장함으로써 MDS 성질이 확인되고, 이는 최대 거리 분리가 이루어짐을 의미한다.