[논문 리뷰] EPS Confidentiality and Integrity mechanisms Algorithmic Approach

Ghizlane Orhanou, Saïd El Hajji외 2명|arXiv (Cornell University)|2011. 02. 25.

Cryptographic Implementations and Security참고 문헌 9인용 수 12

한 줄 요약

이 논문은 3GPP에서 규정한 테스트 벡터를 기반으로 한 C 언어로 구현된 AES 기반의 EPS 기밀성(EEA2) 및 무결성(EIA2) 알고리즘을 제시한다. 이는 3GPP 표준에 부합하는지 검증하여 LTE 시스템 내에서 이러한 암호화 메커니즘의 기능성과 보안성 구현을 입증한다.

ABSTRACT

The Long Term Evolution of UMTS is one of the latest steps in an advancing series of mobile telecommunications systems. Many articles have already been published on the LTE subject but these publications have viewed the subject from particular perspectives. In the present paper, a different approach has been taken. We are interested in the security features and the cryptographic algorithms used to ensure confidentiality and integrity of the transmitted data. A closer look is taken to the two EPS confidentiality and integrity algorithms based on the block cipher algorithm AES: the confidentiality algorithm EEA2 and the integrity algorithm EIA2. Furthermore, we focused on the implementation of both algorithms in C language in respect to the specifications requirements. We have tested our implementations according to the testsets given by the 3rd Generation Partnership Project (3GPP) implementation document. Some examples of the implementation tests are presented bellow.

연구 동기 및 목표

• 3GPP 사양에 부합하는 C 언어로 EPS 기밀성 및 무결성 알고리즘 EEA2 및 EIA2를 구현하는 것.
• 공식 3GPP 테스트 벡터를 사용하여 구현의 정확성을 검증하는 것.
• 안전한 LTE 통신을 지원하는 EEA2 및 EIA2에 대한 참조 구현을 제공하는 것.
• 표준화된 조건 하에서 EEA2 및 EIA2의 암호학적 행동을 분석하고 구현하는 것.

제안 방법

• 데이터 암호화를 위한 AES의 카운터 모드(CTR)를 사용한 EEA2 기밀성 알고리즘의 구현.
• 메시지 인증을 위한 AES-CMAC(Cipher-based Message Authentication Code)를 사용한 EIA2 무결성 알고리즘의 구현.
• 입력 매개변수, 키 스케줄링, 출력 생성에 있어 3GPP 기술 사양 준수.
• 3GPP 표준 테스트 세트를 활용하여 EEA2 및 EIA2 구현의 정확성 검증.
• 다양한 시나리오에서 기능적 정확성을 검증하기 위해 테스트 케이스를 C 구현에 통합.
• 3GPP 구현 문서에 정의된 예상 출력과의 일치를 확인하기 위해 테스트 벡터 실행.

실험 결과

연구 질문

• RQ1 3GPP 사양에 부합하는지 보장하기 위해 EEA2 기밀성 알고리즘을 C 언어로 정확히 어떻게 구현할 수 있는가?
• RQ2 표준 준수 방식으로 AES-CMAC를 사용한 EIA2 무결성 알고리즘의 정확한 구현 접근 방식은 무엇인가?
• RQ3 공식 3GPP 테스트 벡터를 기반으로 검증했을 때, 구현된 EEA2 및 EIA2 알고리즘이 어떻게 작동하는가?
• RQ4 3GPP에서 규정한 암호학적 행동을 C 코드로 매핑할 때 발생하는 주요 구현 과제는 무엇인가?

주요 결과

• C 언어로 구현된 EEA2는 AES-CTR 모드를 사용하여 데이터를 정확히 암호화하며, 3GPP 테스트 벡터와 일치하는 출력을 생성한다.
• EIA2의 구현은 AES-CMAC를 사용하여 MAC를 성공적으로 생성하였으며, 모든 테스트 케이스에서 일관된 결과를 보였다.
• 3GPP 구현 문서에 포함된 모든 테스트 벡터가 EEA2 및 EIA2 구현 모두에서 성공적으로 통과되었다.
• 구현은 EPS 보안 메커니즘에 대해 기능적 정확성과 3GPP 표준 준수를 입증한다.