Privacy by typing in the -calculus

DOI10.23638/LMCS-13(4:27)2017MaRDI QIDQ4600769zbMATH OpenFDO

Authors Dimitrios Kouzapas, Anna Philippou

Publication date 12 January 2018

Full work available at URL https://arxiv.org/abs/1710.06494

Mathematics Subject Classification ID

Privacy of data (68P27)

Recommendations

• Type checking privacy policies in the \(\pi\)-calculus
• Defining privacy is supposed to be easy
• Constructing independently verifiable privacy-compliant type systems for message passing between black-box components
• scientific article; zbMATH DE number 1538026
• Controlling information release in the \(\pi\)-calculus

Cited in

(7)

• Defining privacy is supposed to be easy
• Constructing independently verifiable privacy-compliant type systems for message passing between black-box components
• Rewriting Privacy
• An algebra for composing enterprise privacy policies
• Price of privacy
• Type checking privacy policies in the \(\pi\)-calculus
• The \(C_\pi\)-calculus: a model for confidential name passing

This page was built for publication: Privacy by typing in the \(\pi\)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600769)