Privacy Under Conditions of Concurrent Interaction with Multiple Parties

Martin S Olivier

2004

Citation information

MS Olivier, "Privacy Under Conditions of Concurrent Interaction with Multiple Parties," in Data and Applications Security XVII - Status and Prospects, S de Capitani di Vimercati, I Ray and I Ray (eds), 105-118, Kluwer, 2004

Abstract

This paper explores the possibility to represent the privacy policies of an individual, as well as the processing steps of those who (concurrently) process the data, using a simple process algebra, FSP. The approach leads to the identification of two major classes of privacy policies: aggregation policies and quantitative policies. Automated analysis (with the LTSA tool) of such policies, in combination with the actions of parties that process personal information allows the automated discovery of possible breaches of privacy.

It is demonstrated that addressing the breaches often involves tradeoffs, such discontinuing interaction with some parties, so that policies are no longer violated.

Keywords

Privacy, Privacy-enhancing Technologies (PETs), Concurrency

BibTeX entry

@INPROCEEDINGS(privmult,
  AUTHOR={Martin S Olivier},
  TITLE={Privacy under Conditions of Concurrent Interaction with Multiple
      Parties},
  BOOKTITLE={Data and Applications Security {XVII} --- Status and Prospects},
  EDITOR={de Capitani di Vimercati, Sabrina and Indrakshi Ray and
       Indrajit Ray},
  PAGES={105--118},
  PUBLISHER={Kluwer},
  YEAR={2004} )

Full text

Note that a username and password are required to download the full text. (Why?) Please e-mail me and I will send you a username and password.

[Publications] [Home]
Page maintained by Martin Olivier
Last update: 10 November 2007