[논문 리뷰] Fully Homomorphic Encryption Scheme with Symmetric Keys

Iti Sharma|arXiv (Cornell University)|2013. 10. 09.

Cryptography and Data Security참고 문헌 23인용 수 8

한 줄 요약

이 논문은 행렬 기반 연산을 사용하여 암호화된 데이터 위에서 임의의 함수를 평가할 수 있는 대칭키 기반 완전호모모르픽 암호화(FHE) 체계를 제안한다. 정수 연산을 행렬 계산으로 매핑함으로써, 키를 폭 드러내지 않고도 보안적인 클라우드 기반 처리를 가능하게 하며, 공개키 FHE에 비해 경량화된 대안을 제공하여 대칭키 응용 분야에서 실용적인 효율성을 확보한다.

ABSTRACT

Homomorphic encryption has largely been studied in context of public key cryptosystems. But there are applications which inherently would require symmetric keys. We propose a symmetric key encryption scheme with fully homomorphic evaluation capabilities. The operations are matrix based, that is the scheme consists of mapping the operations on integers to operations on matrix. We also include a protocol which uses the proposed scheme for private data processing in clouds.

연구 동기 및 목표

• 공개키 시스템이 아닌 대칭키에 기반하는 응용 분야에서 완전호모모르픽 암호화의 필요성을 해결하기 위해.
• 대칭키 기반 원소를 사용하여 암호화된 데이터 위에서 임의의 계산을 지원하는 안전하고 효율적인 FHE 체계를 설계하기 위해.
• 대칭키 기반 호모모르픽 암호화 프로토콜을 통해 클라우드 환경에서의 개인 정보 처리를 가능하게 하기 위해.
• 기존의 공개키 FHE 체계에 비해 계산 및 키 관리 오버헤드를 줄이는 경량 대안을 제공하기 위해.

제안 방법

• 체계는 정수 산술 연산을 등가의 행렬 연산으로 매핑하여 암호화된 데이터 위에서 호모모르픽 평가를 가능하게 한다.
• 암호화 및 호모모르픽 평가 모두에 대칭 키를 사용함으로써 공개키 인프라에 의존하지 않도록 한다.
• 핵심 구성은 평문 값을 행렬에 인코딩하고, 행렬 대수를 통해 호모모르픽 연산을 적용하는 것이다.
• 체계는 암호화된 행렬 위에서 덧셈과 곱셈을 모두 지원하여 암호화된 데이터 위에서 보편적인 계산을 가능하게 한다.
• 데이터 기밀성을 계산 전반에 걸쳐 유지하면서도 클라우드 환경에서의 개인 정보 처리를 위한 안전한 프로토콜을 통합한다.
• 설계는 최종 결과를 복호화할 수 있는 것은 키를 소지한 정당한 당사자뿐임을 보장하여 기밀성을 유지한다.

실험 결과

연구 질문

• RQ1 대칭키 암호화 체계가 암호화된 데이터 위에서 임의의 함수에 대해 완전호모모르픽 평가를 지원할 수 있는가?
• RQ2 어떻게 행렬 연산을 사용하여 호모모르픽 암호화 환경에서 정수 산술을 모방할 수 있는가?
• RQ3 대칭키를 사용할 경우 공개키 대비 성능 및 보안의 트레이드오프는 어떠한가?
• RQ4 제안된 체계는 평문 데이터를 폭 드러내지 않고도 안전하고 효율적인 클라우드 기반 데이터 처리를 가능하게 할 수 있는가?
• RQ5 대칭키 암호화 기반에서 완전호모모르피즘을 달성하기 위한 구조적 및 계산적 제약은 무엇인가?

주요 결과

• 제안된 대칭키 FHE 체계는 행렬 기반 연산을 사용하여 암호화된 데이터 위에서 덧셈과 곱셈을 성공적으로 지원한다.
• 체계는 평문을 드러내지 않고도 암호화된 데이터 위에서 임의의 계산을 수행할 수 있으며, 이는 완전호모모르픽 암호화의 정의를 충족한다.
• 대칭 키와 행렬 대수를 사용함으로써, 기존의 공개키 FHE 시스템에서 흔히 발생하는 계산 오버헤드를 피할 수 있다.
• 클라우드 환경에서의 개인 정보 처리를 위한 안전한 프로토콜을 지원하여 계산 전반에 걸쳐 기밀성을 유지한다.
• 기본 행렬 연산이 암호키 없이 공격자에게 계산적으로 구별 불가능하다는 가정 하에, 체계는 형식적으로 의미론적 보안성을 입증하였다.
• 구현 결과는 대칭 키 관리가 필요한 안전한 외주 계산을 위한 실용적 응용 가능성을 입증한다.