Privacy by typing in the -calculus
From MaRDI portal
Publication:4600769
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)