Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach
复制标题
DOI：
10.1109/cse.2009.251
复制
发表时间：
2009-08
期刊：
影响因子：
--
通讯作者：
Yasuyuki Tsukada;K. Mano;Hideki Sakurada;Yoshinobu Kawabe
中科院分区：
文献类型：
--
作者：
Yasuyuki Tsukada;K. Mano;Hideki Sakurada;Yoshinobu Kawabe
本文根据多智能体系统知识的模式逻辑，提出了一种隐私相关信息隐藏/披露属性的分类方法。这里考虑的属性包括匿名性、隐私、匿名性和身份。直观地说，匿名性是指隐藏谁执行了特定的操作，隐私隐藏了某个特定的代理执行了什么，匿名性揭示了谁执行了某个特定的操作，以及身份泄露了某个特定的代理执行了什么。在Halpern和O‘Neill工作的基础上，我们给出了这些性质的形式定义，并研究了它们背后的逻辑结构。特别是，我们证明了一些弱形式的匿名性和隐私分别与一些弱形式的匿名性和身份兼容。我们还讨论了我们的定义与现有标准术语之间的关系，特别是Pfitzmann和Hansen的合并建议。
In this paper, we propose a taxonomy of privacy-related information-hiding/disclosure properties in terms of the modal logic of knowledge for multiagent systems. The properties considered here are anonymity, privacy, onymity, and identity. Intuitively, anonymity means the property of hiding who performed a certain specific action, privacy hiding what was performed by a certain specific agent, onymity disclosing who performed a certain specific action, and identity disclosing what was performed by a certain specific agent. Building on Halpern and O'Neill's work, we provide formal definitions of these properties and study the logical structure underlying them. In particular, we show that some weak forms of anonymity and privacy are compatible with some weak forms of onymity and identity, respectively. We also discuss relationships between our definitions and existing standard terminology, in particular Pfitzmann and Hansen's consolidated proposal.