Type Checking Privacy Policies in the π-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Type Checking Privacy Policies in the π-calculus

Abstract

In this paper we propose a formal framework for studying privacy. Our framework is based on the π-calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, information processing and information dissemination. The framework incorporates a privacy policy language. We show that a system respects a privacy policy if the typing of the system is compatible with the policy. We illustrate our methodology via analysis of privacy-aware schemes proposed for electronic traffic pricing.
Fichier principal
Vignette du fichier
978-3-319-19195-9_12_Chapter.pdf (195.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01767337 , version 1 (16-04-2018)

Licence

Attribution

Identifiers

Cite

Dimitrios Kouzapas, Anna Philippou. Type Checking Privacy Policies in the π-calculus. 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.181-195, ⟨10.1007/978-3-319-19195-9_12⟩. ⟨hal-01767337⟩
29 View
103 Download

Altmetric

Share

Gmail Facebook X LinkedIn More