Price of privacy

DOI10.1016/J.JAL.2016.11.035MaRDI QIDQ504512zbMATH OpenOpenAlexFDO

Authors Pavel Naumov, Jia Tao

Publication date 16 January 2017

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2016.11.035

zbMATH Keywords

axiomatizationcompletenesscost analysisepistemic logicknowledgeprivacy

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Recommendations

• The Relationship Between Reasoning About Privacy and Default Logics
• scientific article; zbMATH DE number 2044527
• A formal model of data privacy
• Privacy by typing in the -calculus
• Type checking privacy policies in the -calculus

Cites work

• A Modal Logic for Coalitional Power in Games
• Dynamic logics of evidence-based beliefs
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Introspective forgetting
• Knowledge forgetting: properties and applications
• Logic of confidence

Cited in

(5)

• Information flow under budget constraints
• scientific article; zbMATH DE number 1975138 (Why is no real title available?)
• scientific article; zbMATH DE number 2043309 (Why is no real title available?)
• The Relationship Between Reasoning About Privacy and Default Logics
• Attainable knowledge and omniscience

This page was built for publication: Price of privacy

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