Download PDFOpen PDF in browserType Checking Conditional Purpose-Based Privacy Policies in the π-CalculusEasyChair Preprint 759615 pages•Date: March 17, 2022AbstractThis 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: Privacy, Privacy Policy Language, Role Based Access Control, labelled transition semantic, privacy policies, privacy policy, purpose based privacy policy, type system, type systems, π-calculus
|