Price of privacy

详细信息    查看全文

• 作者：Pavel Naumov^a ; ^{pnaumov@vassar.edu} ; Jia Tao^b ; ^{taoj@tcnj.edu}
• 关键词：Completeness ; Axiomatization ; Privacy ; Epistemic logic ; Knowledge ; Cost analysis
• 刊名：Journal of Applied Logic
• 出版年：2017
• 出版时间：March 2017
• 年：2017
• 卷：20
• 期：Complete
• 页码：32-48
• 全文大小：430 K
• 卷排序：20

文摘

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.