Browsing by Subject "Typing systems"
Now showing items 1-1 of 1
-
Article
A typing system for privacy
(2014)In this paper we report on work-in-progress towards defining a formal framework for studying privacy. Our framework is based on the π-calculus with groups [1] accompanied by a type system for capturing privacy-related ...