کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9655979 685239 2005 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Quantitative Study of Two Attacks
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Quantitative Study of Two Attacks
چکیده انگلیسی
We use a special operational semantics which helps us in predicting quantitative measures on systems describing cryptographic protocols: We also consider a possible attacker. The transitions of the system carry enhanced labels. We assign rates to transitions by only looking at these labels. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 121, 4 February 2005, Pages 65-85
نویسندگان
, , , ,