Download PDFOpen PDF in browser

Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus

EasyChair Preprint no. 7596

15 pagesDate: March 17, 2022

Abstract

This paper presents a formal system which builds upon the privacy framework defined in [Kouzapas and Philippou 2015], able to statically infer the read, write, access, and disclose permissions needed by a given process of a variant of the π-calculus and then check if they are consistent with a given privacy policy. The syntax and semantics of the framework is extended to support granting permissions after checking for condition satisfaction. In addition, the proofs of the extended framework’s safety are outlined.

Keyphrases: labelled transition semantic, Privacy, privacy policies, privacy policy, Privacy Policy Language, purpose based privacy policy, Role Based Access Control, type system, type systems, π-calculus

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:7596,
  author = {Georgios V. Pitsiladis},
  title = {Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus},
  howpublished = {EasyChair Preprint no. 7596},

  year = {EasyChair, 2022}}
Download PDFOpen PDF in browser