A Dynamic Obfuscation Framework for Security and Utility
A Dynamic Obfuscation Framework for Security and Utility
复制标题
DOI：
10.1109/iccps54341.2022.00028
复制
发表时间：
2022-05
期刊：
影响因子：
--
通讯作者：
Andrew Wintenberg;Matthew Blischke;S. Lafortune;N. Ozay
中科院分区：
文献类型：
--
作者：
Andrew Wintenberg;Matthew Blischke;S. Lafortune;N. Ozay
动态系统可以使用模糊技术来确保在易受窃听者攻击的网络上进行私密和安全的通信。平衡发送信息给预期接收者的效用和通过向非预期接收者隐藏信息来保护隐私提出了一个有趣的挑战。我们提出了一个新的框架混淆，其中包括一个推理接口，允许预期的收件人解释混淆的信息。我们用不透明性来模拟混淆的安全性，这是一个似是而非的可否认性的正式概念。使用分布式反应合成技术，我们展示了如何自动设计一个隐私强制混淆器沿着的推理接口，给预期的收件人使用作为一个“键”。我们证明了这种方法，通过实施隐私，同时保持实用程序中的联系人跟踪模型。
Obfuscation can be used by dynamic systems to ensure private and secure communication over networks vulnerable to eavesdroppers. Balancing the utility of sending information to intended recipients and privacy by hiding information from unintended recipients presents an interesting challenge. We propose a new framework for obfuscation that includes an inference interface to allow intended recipients to interpret obfuscated information. We model the security of the obfuscation with opacity, a formal notion of plausible deniability. Using techniques from distributed reactive synthesis, we show how to automatically design a privacy-enforcing obfuscator along with the inference interface that is given to intended recipients to use as a “key”. We demonstrate this approach by enforcing privacy while maintaining utility in a contact tracing model.