[논문 리뷰] A Distributed Secure Outsourcing Scheme for Solving Linear Algebraic Equations in Ad Hoc Clouds

Wenlong Shen, Bo Yin외 2명|arXiv (Cornell University)|2015. 04. 04.

Cryptography and Data Security인용 수 5

한 줄 요약

이 논문은 동적이고 분산된 애드혹 클라우드 환경에서 선형 대수 방정식을 해결하기 위한 분산형 보안 외주 처리 기법을 제안한다. 동형 암호화와 비밀 분할 기법을 활용하여 데이터 기밀성과 계산의 무결성을 보장한다. 이 기법은 자원이 제한된 장치들이 주변의 에이전트에게 행렬 계산을 외주함으로써 기밀성과 정확성을 유지하면서도 효율적이고 확장 가능한 솔루션을 제공한다. 이는 동적이고 분산된 환경에서 실현 가능하다.

ABSTRACT

The emerging ad hoc clouds form a new cloud computing paradigm by leveraging untapped local computation and storage resources. An important application application over ad hoc clouds is outsourcing computationally intensive problems to nearby cloud agents to solve in a distributed manner.

연구 동기 및 목표

• 분산되고 동적인 애드혹 클라우드 환경에서 계산 비용이 큰 선형 대수 방정식 해결 문제를 안전하게 외주 처리하는 데 도전한다.
• 신뢰할 수 없는 클라우드 에이전트가 행렬 연산을 수행할 경우에도 데이터 기밀성과 계산의 무결성을 유지한다.
• 민감한 데이터를暴露하지 않고도 자원이 제한된 장치들이 주변의 에이전트에게 선형 시스템 해결을 효율적으로 위탁할 수 있도록 한다.
• 애드혹 클라우드에서 동적으로 참가자가 참여하거나 이탈하는 것을 지원하는 확장성 있고 내성적인 프레임워크를 설계한다.

제안 방법

• 암호화된 행렬 연산을 허용하기 위해 덧셈형 동형 암호화를 사용하여 복호화 없이도 계산을 수행함으로써 데이터 기밀성을 보장한다.
• 민감한 데이터를 여러 에이전트에 분배된 조각으로 나누기 위해 비밀 분할 기법을 적용하여 단일 지점의 위협을 방지한다.
• 클라이언트는 외주 처리 전에 선형 시스템의 계수 행렬과 우변 벡터를 동형 암호화 기법을 사용해 암호화한다.
• 여러 주변 에이전트가 암호화된 데이터를 사용하여 동형 연산을 통해 공동으로 해를 계산하고, 암호화된 결과를 반환한다.
• 클라이언트는 결과를 조합하고 개인 키를 사용하여 복호화함으로써 최종 해를 재구성한다.
• 오류 또는 악성 행위를 탐지하고 거부하기 위해 검증 프rotocol을 통합한다.

실험 결과

연구 질문

• RQ1 신뢰할 수 없는 에이전트에게 민감한 데이터를暴露하지 않고도 애드혹 클라우드에서 선형 대수 방정식을 안전하게 외주 처리할 수 있는 방법은 무엇인가?
• RQ2 분산되고 동적인 환경에서 데이터 기밀성과 계산 정확성을 모두 보장할 수 있는 암호화 기법은 무엇인가?
• RQ3 에이전트가 네트워크에서 동적으로 참여하거나 이탈할 경우에도 기법이 효율성과 확장성을 유지할 수 있는가?
• RQ4 분산 계산 중에 악성 행동을 탐지하고 방지할 수 있는 메커니즘은 무엇인가?

주요 결과

• 제안된 기법은 동형 암호화와 비밀 분할을 통해 데이터 기밀성과 계산의 무결성을 보장함으로써 종단 간 보안을 확보한다.
• 클라이언트의 계산 오버헤드가 크게 감소하며, 무거운 행렬 연산이 주변 에이전트에게 위탁되기 때문이다.
• 기법은 동적 참가자 관리를 지원하여 에이전트가 네트워크에 참여하거나 이탈하더라도 계산이 중단되지 않는다.
• 검증 메커니즘이 높은 확률로 악성 에이전트에서 온 잘못된 결과를 탐지하고 거부한다.