Price of privacy

DOI10.1016/J.JAL.2016.11.035zbMATH Open1442.68240OpenAlexW2554838707MaRDI QIDQ504512FDOQ504512

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

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 \(\pi\)-calculus
• Type checking privacy policies in the \(\pi\)-calculus

zbMATH Keywords

completenessepistemic logicknowledgeaxiomatizationprivacycost analysis

Mathematics Subject Classification ID

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

Cites Work

• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Dynamic logics of evidence-based beliefs
• Title not available (Why is that?)
• Knowledge forgetting: properties and applications
• Introspective forgetting
• Logic of confidence

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Attainable knowledge and omniscience
• The Relationship Between Reasoning About Privacy and Default Logics
• Information Flow Under Budget Constraints

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)