کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435814 | 689939 | 2015 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Quantifying information leakage of randomized protocols
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Quantifying information leakage of randomized protocols Quantifying information leakage of randomized protocols](/preview/png/435814.png)
چکیده انگلیسی
The quantification of information leakage provides a quantitative evaluation of the security of a system. We propose the usage of Markovian processes to model deterministic and probabilistic systems. By using a methodology generalizing the lattice of information approach we model refined attackers capable to observe the internal behavior of the system, and quantify the information leakage of such systems. We also use our method to obtain an algorithm for the computation of channel capacity from our Markovian models. Finally, we show how to use the method to analyze timed and non-timed attacks on the Onion Routing protocol.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 597, 13 September 2015, Pages 62–87
Journal: Theoretical Computer Science - Volume 597, 13 September 2015, Pages 62–87
نویسندگان
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wąsowski,