[논문 리뷰] Further Results of the Cryptographic Properties on the Butterfly Structure.

Shihui Fu, Xiutao Feng|arXiv (Cornell University)|2016. 07. 28.

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

한 줄 요약

이 논문은 지수 $ e = 2^i + 1 $를 가진 부리거형 구조에서 비선형성의 최적성을 증명하며 암호학 분야의 열린 문제를 해결한다. 또한 비트리비어 계수를 가진 부리거형은 전단사적이며 최적의 비선형성을 달성함을 입증하여 암호학적 원천으로서의 적합성을 확인한다.

ABSTRACT

Recently, a new structure called butterfly introduced by Perrin et at. is attractive for that it has very good cryptographic properties: the differential uniformity is at most equal to 4 and algebraic degree is also very high when exponent $e=3$. It is conjecture that the nonlinearity is also optimal for every odd $k$, which was proposed as a open problem. In this paper, we further study the butterfly structures and show that these structure with exponent $e=2^i+1$ have also very good cryptographic properties. More importantly, we prove in theory the nonlinearity is optimal for every odd $k$, which completely solve the open problem. Finally, we study the butter structures with trivial coefficient and show these butterflies have also optimal nonlinearity. Furthermore, we show that the closed butterflies with trivial coefficient are bijective as well, which also can be used to serve as a cryptographic primitive.

연구 동기 및 목표

• 홀수 $ k $에 대해 부리거형 구조에서 비선형성의 최적성에 관한 열린 문제를 해결하기 위해.
• 특히 비선형성과 미분 균일성에 중점을 두고, 지수 $ e = 2^i + 1 $를 가진 부리거형 구조의 암호학적 성질을 조사하기 위해.
• 비트리비어 계수를 가진 부리거형 구조를 분석하고, 그 전단사성과 비선형성 성질을 규명하기 위해.
• 이론적 성질에 기반해 이러한 구조들이 암호학적 원천으로서의 적합성을 확인하기 위해.

제안 방법

• 지수 $ e = 2^i + 1 $를 가진 부리거형 구조의 대수적 및 미분적 성질에 대한 이론적 분석을 통해 비선형성과 미분 균일성에 중점을 두었다.
• 웨일 스펙트럼을 분석하기 위해 대수적 및 조합 기법을 사용하여 모든 홀수 $ k $에 대해 비선형성 최적성의 증명을 수행하였다.
• 비트리비어 계수를 가진 부리거형 구조를 연구하여, 구조적 및 대수적 분석을 통해 전단사성을 증명하였다.
• 비트리비어 계수를 가진 폐쇄형 부리거형 구조가 최적의 비선형성을 달성할 조건을 유도하였다.
• 유한체 성질과 대칭적 구조 분석을 활용하여 암호학적 강도를 확립하였다.
• 비틀린 함수 및 벡터 부울 함수에 관한 기존 결과를 응용하여 비선형성 범위의 타당성을 검증하였다.

실험 결과

연구 질문

• RQ1 지수 $ e = 2^i + 1 $를 가진 부리거형 구조의 비선형성은 모든 홀수 $ k $에 대해 최적인가?
• RQ2 비트리비어 계수를 가진 부리거형 구조는 최적의 비선형성과 전단사성을 유지하는가?
• RQ3 이론적으로 부리거형 구조의 비선형성이 최적임을 증명할 수 있으며, 이는 열린 문제를 완전히 해결하는가?
• RQ4 비트리비어 계수를 가진 부리거형 구조를 원천으로 사용할 경우 암호학적 영향은 무엇인가?

주요 결과

• 지수 $ e = 2^i + 1 $를 가진 부리거형 구조의 비선형성이 모든 홀수 $ k $에 대해 최적임을 증명하여 열린 문제를 완전히 해결하였다.
• 비트리비어 계수를 가진 부리거형 구조가 전단사임이 입증되어 암호학적 사용에 있어 구조적 적합성이 확인되었다.
• 계수가 비트리비어일 경우 이러한 구조는 최적의 비선형성을 달성하여 선형 암호분석에 대한 저항력을 향상시켰다.
• 지수 $ e = 2^i + 1 $를 가진 부리거형 구조의 미분 균일도 최대 4로 유지되어 강력한 미분 공격에 대한 저항성을 유지한다.
• 최적의 비선형성, 낮은 미분 균일도, 전단사성의 조합은 이러한 구조의 암호학적 강건성을 확인한다.
• 이론적 결과는 비트리비어 계수를 가진 부리거형 구조가 안전한 암호학적 원천으로 사용될 수 있음을 검증한다.