[論文レビュー] Information-Theoretic Privacy for Smart Metering Systems with a Rechargeable Battery

Simon Li, Ashish Khisti+1 more|arXiv (Cornell University)|Oct 24, 2015

Smart Grid Energy Management参考文献 38被引用数 10

ひとこと要約

本稿では、再充電式バッテリを用いてスマートメーター制度におけるプライバシー漏洩を最小化する情報理論的フレームワークを提案する。最適バッテリ充電ポリシーはマルコフ決定過程（MDP）として定式化され、i.i.d. ユーザー需要の下で最小漏洩レートのシングルレター特徴付けが得られ、最適ポリシーが状態分布の不変性を保つことを示している。

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. の場合の最小漏洩レートのシングルレター特徴付けを提供すること。

提案手法

• ユーザー需要を1次マルコフ過程としてモデル化し、因果性および電荷保存を含む制約付きMDPとしてバッテリ充電ポリシーを定式化する。
• 一連の解析的変換を通じて元のプライバシー・ユーティリティ最適化問題を簡略化し、最終的に解けるMDPに再定式化する。
• i.i.d. デマンドの場合に、漏洩レートの式を単純化する構造的ポリシークラスを提案し、閉形式最適化を可能にする。
• 特定の観測系列から導かれる遷移行列の部分長方形性に基づく収束議論を用い、最適ポリシー下で状態分布が一意な不変分布に収束することを証明する。
• 最適性の証明を2通り提供：1つは動的計画法に基づき、もう1つは完全に情報理論的還元を用いたもの。
• 確率的観測を伴うマルコフ連鎖の収束定理（定理5）を適用し、状態およびバッテリ分布プロセスの弱収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 スマートメーター制度において、ユーザー需要とグリッド消費の間の情報漏洩を最小化する最適バッテリ充電ポリシーは何か？
• RQ2 ユーザー需要プロセスの構造（マルコフ過程対i.i.d.）は、達成可能なプライバシー・ユーティリティトレードオフにどのように影響するか？
• RQ3 i.i.d. デマンドの場合に最小漏洩レートを閉形式で特徴付けられるか？ もしそうなら、その解析的形は何か？
• RQ4 最適ポリシーは状態分布の不変性を保つ性質を有するか？ そして、その性質はどのように形式的に確立できるか？
• RQ5 動的計画法に依存せずに、情報理論的議論のみで提案ポリシーの最適性を証明できるか？

主な発見

• i.i.d. ユーザー需要の場合、最小漏洩レートはシングルレター相互情報量の式として特徴付けられ、プライバシー漏洩の根本的限界を提供する。
• i.i.d. デマンドにおける最適バッテリ充電ポリシーは、状態分布の不変性を保つ性質を有し、長期的な安定性と最小限の情報漏洩を保証する。
• 最適ポリシー下で、バッテリ状態および消費分布プロセスは初期条件に依存しない一意な不変分布に弱収束する。
• 特定の観測系列から導かれる遷移行列の部分長方形性を用いた収束議論により、隠れマルコフモデルの収束定理の適用が可能となり、収束が証明される。
• 最適性の証明を2通り提供：1つは動的計画法に基づき、もう1つは情報理論的不等式を用いたもので、複数の解析的視点から結果を確認する。
• 最適ポリシーは、観測されたグリッド消費と真のユーザー需要との相関を低下させることで、バッテリの放電および充電サイクルをバランスさせ、最小漏洩レートを達成する。