Price of privacy
Price of privacy
The article proposes a logical framework for reasoning about agents’ ability to protect their privacy by hiding certain information from a privacy intruder. It is assumed that the knowledge of the intruder is derived from the observation of pieces of evidence and that there is a cost associated with the elimination of the evidence. The logical framework contains a modal operator labeled by a group of agents and a total budget available to this group. The key contribution of this work is the proposed incorporation of the cost factor into privacy protection reasoning within the standard modal logic framework. The main technical result are the soundness and completeness theorems for the introduced logical system with respect to a formally defined semantics.
Axiomatization, Completeness, Cost analysis, Epistemic logic, Knowledge, Privacy
32-48
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
1 March 2017
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Tao, Jia
008c0748-696c-4069-a351-551d311e8056
Abstract
The article proposes a logical framework for reasoning about agents’ ability to protect their privacy by hiding certain information from a privacy intruder. It is assumed that the knowledge of the intruder is derived from the observation of pieces of evidence and that there is a cost associated with the elimination of the evidence. The logical framework contains a modal operator labeled by a group of agents and a total budget available to this group. The key contribution of this work is the proposed incorporation of the cost factor into privacy protection reasoning within the standard modal logic framework. The main technical result are the soundness and completeness theorems for the introduced logical system with respect to a formally defined semantics.
Text
2016-jal-2
- Accepted Manuscript
More information
Accepted/In Press date: 24 November 2016
Published date: 1 March 2017
Additional Information:
Publisher Copyright:
© 2016 Elsevier B.V.
Keywords:
Axiomatization, Completeness, Cost analysis, Epistemic logic, Knowledge, Privacy
Identifiers
Local EPrints ID: 476006
URI: http://eprints.soton.ac.uk/id/eprint/476006
ISSN: 1570-8683
PURE UUID: 53956f53-df25-424b-9e88-1316fdf519a8
Catalogue record
Date deposited: 04 Apr 2023 16:31
Last modified: 17 Mar 2024 07:39
Export record
Altmetrics
Contributors
Author:
Pavel Naumov
Author:
Jia Tao
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics