Modeling identity-related properties and their privacy strength

Meilof Veeningen, Benne de Weger, Nicola Zannone

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

8 Citations (Scopus)


In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by information systems and protocols. However, these definitions are generally incomparable, making it difficult to generalize the results of their analysis. In this paper, we propose a novel framework for formalizing and comparing identity-related properties. The framework employs the notions of detectability, associability and provability to assess the knowledge of an adversary. We show how these notions can be used to specify well-known identity-related properties and classify them with respect to their logical relations and privacy strength. We also demonstrate that the proposed framework is able to capture and compare several existing definitions of identity-related properties.

Original languageEnglish
Title of host publicationFormal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Revised Selected Papers
Number of pages15
Volume6561 LNCS
Publication statusPublished - 2011
Externally publishedYes
Event7th International Workshop on Formal Aspects of Security and Trust, FAST 2010 - Pisa, Italy
Duration: 16 Sep 201017 Sep 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6561 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


Conference7th International Workshop on Formal Aspects of Security and Trust, FAST 2010

Fingerprint Dive into the research topics of 'Modeling identity-related properties and their privacy strength'. Together they form a unique fingerprint.

Cite this