Browsing by Subject "Typechecking"
Now showing items 1-1 of 1
-
Article
Type checking privacy policies in the π-calculus
(2015)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, ...