Symbolic Privacy Analysis through Linkability and Detectability - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Symbolic Privacy Analysis through Linkability and Detectability

Résumé

More and more personal information is exchanged on-line using communication protocols. This makes it increasingly important that such protocols satisfy privacy by data minimisation. Formal methods have been used to verify privacy properties of protocols; but so far, mostly in an ad-hoc way. In previous work, we provided general definitions for the fundamental privacy concepts of linkability and detectability. However, this approach is only able to verify privacy properties for given protocol instances. In this work, by generalising the approach, we formally analyse privacy of communication protocols independently from any instance. We implement the model; identify its assumptions by relating it to the instantiated model; and show how to visualise results. To demonstrate our approach, we analyse privacy in Identity Mixer.
Fichier principal
Vignette du fichier
978-3-642-38323-6_1_Chapter.pdf (371.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01468177 , version 1 (15-02-2017)

Licence

Paternité

Identifiants

Citer

Meilof Veeningen, Benne De Weger, Nicola Zannone. Symbolic Privacy Analysis through Linkability and Detectability. 7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.1-16, ⟨10.1007/978-3-642-38323-6_1⟩. ⟨hal-01468177⟩
90 Consultations
64 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More