کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6424843 | 1633492 | 2011 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Logic of secrets in collaboration networks
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Logic of secrets in collaboration networks Logic of secrets in collaboration networks](/preview/png/6424843.png)
چکیده انگلیسی
The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system's key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.
⺠We propose a formal logical system for reasoning about secrets sent over networks. ⺠We consider Sutherland's nondeducibility relation. ⺠We prove the soundness and completeness of our system.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 162, Issue 12, December 2011, Pages 959-969
Journal: Annals of Pure and Applied Logic - Volume 162, Issue 12, December 2011, Pages 959-969
نویسندگان
Sara Miner More, Pavel Naumov,