|
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach
Yasuyuki Tsukada(a),(*), Ken Mano(a), Hideki Sakurada(a), Yoshinobu Kawabe(b)
Transactions on Data Privacy 3:3 (2010) 177 - 198
Abstract, PDF
(a) NTT Communication Science Laboratories; NTT Corporation; 3-1 Morinosato-Wakamiya; Atsugi; Kanagawa; 243-0198 Japan.
(b) Aichi Institute of Technology; 1247 Yachigusa; Yakusa-cho; Toyota; Aichi; 470-0392 Japan.
e-mail:tsukada @theory.brl.ntt.co.jp; mano @theory.brl.ntt.co.jp; sakurada @theory.brl.ntt.co.jp; kawabe @aitech.ac.jp
|
|
Abstract
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 involves hiding what was performed by a certain specific agent, onymity refers to disclosing who performed a certain specific action, and identity relates to 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 the relationships between our definitions and existing standard terminology, in particular Pfitzmann and Hansen's consolidated proposal.
|
