Privacy by typing in the -calculus

DOI10.23638/LMCS-13(4:27)2017zbMATH Open1448.68234arXiv1710.06494MaRDI QIDQ4600769FDOQ4600769

Authors: Dimitrios Kouzapas, Anna Philippou 

Publication date: 12 January 2018

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

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

Mathematics Subject Classification ID

Privacy of data (68P27)

Cited In (7)

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

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)