For systems whose states implicate sensitive information, their privacy is of great concern. While notions like differential privacy have been successfully introduced to dynamical systems, it is still unclear how a system's privacy can be properly protected when facing the challenging yet frequently-encountered scenario where an adversary possesses prior knowledge, e.g., the steady state, of the system. This paper presents a new systematic approach to protect the privacy of a discrete-time linear time-invariant system against adversaries knowledgeable of the system's prior information. We employ a tailored \emph{pointwise maximal leakage (PML) privacy} criterion. PML characterizes the worst-case privacy performance, which is sharply different from that of the better-known mutual-information privacy. We derive necessary and sufficient conditions for PML privacy and construct tractable design procedures. Furthermore, our analysis leads to insight into how PML privacy, differential privacy, and mutual-information privacy are related. We then revisit Kalman filters from the perspective of PML privacy and derive a lower bound on the steady-state estimation-error covariance in terms of the PML parameters. Finally, the derived results are illustrated in a case study of privacy protection for distributed sensing in smart buildings.
翻译:对于状态蕴含敏感信息的系统,其隐私保护至关重要。尽管差分隐私等概念已成功引入动态系统,但当面对攻击者拥有系统先验知识(如稳态)这一常见且具有挑战性的场景时,如何有效保护系统隐私仍不明确。本文提出一种新系统方法,用于保护离散时间线性时不变系统免受掌握系统先验信息的攻击者侵害。我们采用定制化的点态最大泄露隐私准则,该准则刻画最坏情况下的隐私性能,与更广为人知的互信息隐私有显著差异。我们推导了点态最大泄露隐私的充分必要条件,并构建了可处理的设计流程。进一步分析揭示了点态最大泄露隐私、差分隐私与互信息隐私之间的关联。随后从点态最大泄露隐私视角重新审视卡尔曼滤波器,依据点态最大泄露隐私参数推导了稳态估计误差协方差的下界。最后,通过智能建筑分布式传感隐私保护的案例研究验证了所得结果。