Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01767337
Contributor : Hal Ifip <>
Submitted on : Monday, April 16, 2018 - 10:19:14 AM
Last modification on : Wednesday, November 25, 2020 - 5:06:03 PM

File

978-3-319-19195-9_12_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

106

Files downloads

257