کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5778245 1633613 2017 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 20, March 2017, Pages 32-48
نویسندگان
, ,