本文在点对点最大泄漏(PML)框架下研究隐私保证的两个要求:对后处理具有鲁棒性,以及能限定信息泄漏超过给定阈值的失败概率。作者首先分析两种受(近似)差分隐私启发的候选定义,发现两者均无法同时满足上述要求。为此,引入PML包络(PML envelope)概念,它度量在机制输出经过任意后处理后关于秘密的最大泄漏量。通过构造,PML包络同时满足鲁棒性和失败概率上界两个性质。文章讨论了包络的基本结构性质(如单调性),推导了通用上下界,并针对两种广泛使用的隐私机制——高隐私域下的PML极值机制和随机响应——进行具体分析。该工作将PML包络确立为一种自然且在操作上有意义的定义,用于提供在任意下游变换下仍能保持的隐私保证。
💡 推荐理由: 为隐私机制设计提供了新的理论工具,确保隐私保证在后处理下依然有效,对安全从业者理解数据发布中的隐私泄漏边界具有参考价值。
🎯 建议动作: 研究跟进