[논문 리뷰] Information-Theoretic Privacy for Smart Metering Systems with a Rechargeable Battery

Simon Li, Ashish Khisti외 1명|arXiv (Cornell University)|2015. 10. 24.

Smart Grid Energy Management참고 문헌 38인용 수 10

한 줄 요약

이 논문은 재충전 가능한 배터리를 사용하여 스마트 미터링 시스템에서의 프라이버시 泄露를 최소화하기 위한 정보이론적 프레임워크를 제안한다. 최적의 배터리 충전 정책을 마르코프 결정 과정(MDP)으로 공식화하고, 동일하게 분포된(i.i.d.) 사용자 수요에 대해 최소 泄露율의 단일 문자(characterization)를 도출하여, 최적 정책이 상태 분포의 불변성 성질을 유지함을 보여준다.

ABSTRACT

Smart-metering systems report electricity usage of a user to the utility provider on almost real-time basis. This could leak private information about the user to the utility provider. In this work we investigate the use of a rechargeable battery in order to provide privacy to the user. We assume that the user load sequence is a first-order Markov process, the battery satisfies ideal charge conservation, and that privacy is measured using normalized mutual information (leakage rate) between the user load and the battery output. We consider battery charging policies in this setup that satisfy the feasibility constraints. We propose a series reductions on the original problem and ultimately recast it as a Markov Decision Process (MDP) that can be solved using a dynamic program. In the special case of i.i.d. demand, we explicitly characterize the optimal policy and show that the associated leakage rate can be expressed as a single-letter mutual information expression. In this case we show that the optimal charging policy admits an intuitive interpretation of preserving a certain invariance property of the state. Interestingly an alternative proof of optimality can be provided that does not rely on the MDP approach, but is based on purely information theoretic reductions.

연구 동기 및 목표

• 실시간 전기 사용 데이터가 개인의 사용 행동을 드러낼 수 있는 스마트 미터링 시스템의 프라이버시 리스크를 해결하기 위해.
• 사용자 수요와 전력망 소비 간의 정보 泄露를 최소화하는 배터리 관리 정책을 설계하여, 정규화된 상호정보량(泄露出율)으로 측정한다.
• 재충전 가능한 배터리를 프라이버시 향상 수단으로 삼아 에너지 제약 조건과 프라이버시 간의 기본적인 트레이드오프를 수립하기 위해.
• 인과성 및 충전 보존 제약 조건 하에서 泄露를 최소화하는 최적 정책을 유도하기 위해.
• 사용자 수요가 i.i.d.일 경우, 정보이론적 및 동적 프로그래밍 기법을 사용하여 최소 泄露율의 단일 문자 표현을 도출하기 위해.

제안 방법

• 사용자 수요를 일계 마르코프 과정으로 모델링하고, 인과성 및 충전 보존 제약 조건을 갖춘 제약 조건이 있는 MDP로 배터리 충전 정책을 공식화한다.
• 일련의 해석적 변환을 통해 원래의 프라이버시-유용성 최적화 문제를 단순화하고, 결국은 해결 가능한 MDP로 재구성한다.
• i.i.d. 수요의 경우, 泄露율 표현을 단순화하고 닫힌 형태 최적화를 가능하게 하는 구조화된 정책 클래스를 제안한다.
• 특정 관측 순열로부터 유도된 전이 행렬의 부분직사각형성(subrectangularity)에 기반한 수렴 논증을 사용하여, 최적 정책 하에서 상태 분포가 유일한 불변 분포로 수렴함을 증명한다.
• 최적성에 대한 두 가지 증명을 제공한다: 하나는 동적 프로그래밍 기반이고, 다른 하나는 순수하게 정보이론적 감소 기반이다.
• 무작위 관측이 있는 마르코프 체인의 수렴 정리인 정리 5를 적용하여 상태 및 배터리 분포 과정의 약수렴(weak convergence)을 확립한다.

실험 결과

연구 질문

• RQ1 스마트 미터링 시스템에서 사용자 수요와 전력망 소비 간의 정보 泄露를 최소화하는 최적의 배터리 충전 정책은 무엇인가?
• RQ2 사용자 수요 과정의 구조(마르코프 vs. i.i.d.)는 달성 가능한 프라이버시-유용성 트레이드오프에 어떤 영향을 미치는가?
• RQ3 i.i.d. 수요에 대해 최소 泄露율을 닫힌 형태로 특성화할 수 있는가? 만약 가능하면 그 해석적 형태는 무엇인가?
• RQ4 최적 정책은 상태 분포의 불변성 성질을 유지하는가? 이를 형식적으로 어떻게 증명할 수 있는가?
• RQ5 동적 프로그래밍에 의존하지 않고 순수하게 정보이론적 추론만을 사용하여 제안된 정책의 최적성을 증명할 수 있는가?

주요 결과

• i.i.d. 사용자 수요의 경우, 최소 泄露율은 단일 문자 상호정보량 표현으로 특성화되며, 이는 프라이버시 泄露의 기본 한계를 제공한다.
• i.i.d. 수요에 대한 최적 배터리 충전 정책은 상태 분포의 불변성 성질을 유지하여 장기적인 안정성과 최소한의 정보 泄露를 보장한다.
• 최적 정책 하에서 배터리 상태 및 소비 분포 과정은 초기 조건에 관계없이 유일한 불변 분포로 약수렴한다.
• 특정 관측 순열로부터 유도된 전이 행렬의 부분직사각형성에 기반한 수렴 증명을 통해 이 수렴이 입증되었으며, 이는 은닉 마르코프 모델의 수렴 정리 적용이 가능하게 한다.
• 최적성에 대한 두 가지 서로 다른 증명이 제공된다: 하나는 동적 프로그래밍 기반이고, 다른 하나는 정보이론적 부등식 기반이다. 이는 다각적인 분석적 시각으로 결과를 확인한다.
• 최적 정책는 관측된 전력망 소비와 진짜 사용자 수요 간의 상관관계를 줄이기 위해 배터리 방출 및 충전 사이클를 균형 있게 조절함으로써 최소 泄露율을 달성한다.