Search

• < Previous
• 1
• Next >

Privacy by typing in the $\pi$-calculus

In this paper we propose a formal framework for studying privacy in information systems. The proposal follows a two-axes schema where the first axis considers privacy as a taxonomy of rights and the second axis involves the ways an information system stores and manipulates information. We develop a&nbsp;[&hellip;]