[논문 리뷰] Secure Cloud Computing through Homomorphic Encryption

Maha Tebaa, Saïd El Hajji|arXiv (Cornell University)|2014. 09. 02.

Cryptography and Data Security참고 문헌 12인용 수 75

한 줄 요약

이 논문은 완전 동형 암호화(FHE)를 사용하여 암호화된 데이터에서 계산을 수행할 수 있도록 하되, 복호화 없이도 가능하게 함으로써, 신뢰할 수 없는 인프라에서 운영되는 다중 테넌트 클라우드 환경에서의 개인정보 보호를 보장하는 안전한 클라우드 컴퓨팅 프레임워크를 제안한다. 이 방법은 클라이언트가 민감한 계산을 신뢰할 수 없는 클라우드 제공자에게 외주할 수 있도록 하면서도, 데이터 기밀성을 유지할 수 있으며, 암호문에 직접 동형 연산을 평가하는 것이 核심 메커니즘이다.

ABSTRACT

Go to the cloud, has always been the dream of man. Cloud Computing offers a number of benefits and services to its customers who pay the use of hardware and software resources (servers hosted in data centers, applications, software...) on demand which they can access via internet without the need of expensive computers or a large storage system capacity and without paying any equipment maintenance fees. But these cloud providers must provide guarantees on the protection of privacy and sensitive data stored in their data centers shared between multiple clients using the concept of virtualization.

연구 동기 및 목표

• 신뢰할 수 없는 인프라에서 운영되는 공유 클라우드 컴퓨팅 환경에서 데이터가 저장되고 처리되는 상황에서 데이터 기밀성 문제를 해결하는 데 초점을 맞춘다.
• 클라우드 컴퓨팅에서 전통적인 암호화 방식의 한계를 극복하며, 데이터를 처리하기 위해 복호화가 필요하여 유출 위험이 노출되는 문제를 해결한다.
• 클라우드 제공자조차도 민감한 정보를 드러내지 않도록, 계산을 외주하는 것을 가능하게 한다.
• 실제 클라우드 환경에서 암호화된 데이터에 대해 의미 있는 계산을 수행할 수 있도록 동형 암호화의 실현 가능성을 입증한다.
• 데이터 기밀성이 핵심인 환경에서, 동형 암호화를 클라우드 컴퓨팅 아키텍처에 통합하기 위한 실용적인 프레임워크를 제공한다.

제안 방법

• 완전 동형 암호화(FHE)를 활용하여 복호화 없이도 암호화된 데이터에서 임의의 계산을 수행할 수 있도록 한다.
• 덧셈 및 곱셈과 같은 연산을 암호문에 직접 적용하는 동형 평가 개념을 적용한다.
• 이deal 래티스와 학습 오차(LWE) 문제의 수학적 성질을 활용하여 안전하고 효율적인 FHE 체계를 구축한다.
• 암호화된 데이터 제출, 원격 계산, 안전한 결과 수신을 지원하는 클라우드 아키텍처를 설계한다.
• 클라우드 제공자가 계산 과정의 어느 단계에서도 평문 데이터에 접근하지 못하도록 보장하여 종단 간 기밀성을 유지한다.
• 클라이언트가 데이터를 업로드하기 전에 암호화하고, 계산 후 결과를 복호화하는 클라이언트-서버 모델에 FHE 체계를 통합한다.

실험 결과

연구 질문

• RQ1 동형 암호화는 클라우드 환경에서 암호화된 데이터에 대한 안전한 계산을 효과적으로 적용할 수 있는가?
• RQ2 신뢰할 수 없는 클라우드 제공자에게 계산을 외주할 경우, 데이터 기밀성이 어떻게 유지될 수 있는가?
• RQ3 실제 클라우드 컴퓨팅 워크로드에서 완전 동형 암호화를 사용할 경우의 성능 및 확장성의 상충 관계는 어떠한가?
• RQ4 실제 클라우드 응용 프로그램에서 요구하는 일반적인 계산을 동형 암호화가 어느 정도 지원할 수 있는가?
• RQ5 사용성에 영향을 주지 않으면서도 동형 암호화를 통합할 수 있는 안전하고 효율적인 클라우드 아키텍처를 어떻게 설계할 수 있는가?

주요 결과

• 제안된 프레임워크는 완전 동형 암호화를 사용하여 암호화된 데이터에서의 계산을 성공적으로 가능하게 하였으며, 클라우드 제공자가 평문 데이터에 접근하지 못하게 한다.
• 덧셈 및 곱셈과 같은 동형 연산이 암호문에 직접 수행되어 계산 과정 全주기 동안 데이터 기밀성이 유지된다.
• 이deal 래티스와 학습 오차(LWE) 문제의 활용은 알려진 암호 분석 공격에 대한 강력한 보안 기반을 제공한다.
• 다중 테넌트 환경에서도 종단 간 기밀성 보장을 제공하는 안전한 클라우드 컴퓨팅의 실현 가능성을 입증한다.
• 성능 오버헤드 문제가 여전히 도전 과제이지만, 데이터 기밀성이 핵심인 워크로드에 대해서는 이 접근 방식이 실용 가능함을 입증한다.
• 시스템은 데이터 암호화, 원격 처리, 결과 복호화를 포함한 클라우드 컴퓨팅의 전 과정을 지원하며, 강력한 보안 보장을 유지한다.