2013 | OriginalPaper | Buchkapitel
Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations
verfasst von : Naipeng Dong, Hugo Jonker, Jun Pang
Erschienen in: Computer Security – ESORICS 2013
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Protecting privacy against bribery/coercion is a necessary requirement in electronic services, like e-voting, e-auction and e-health. Domain-specific privacy properties have been proposed to capture this. We generalise these properties as
enforced privacy
: a system enforces a user’s privacy even when the user collaborates with the adversary. In addition, we account for the influence of third parties on a user’s privacy. Third parties can help to break privacy by collaborating with the adversary, or can help to protect privacy by cooperating with the target user. We propose
independency of privacy
to capture the negative privacy impact that third parties can have, and
coalition privacy
to capture their positive privacy impact. We formally define these privacy notions in the applied pi calculus and build a hierarchy showing their relations.