کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9651041 666442 2005 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formal analysis of modern security protocols
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Formal analysis of modern security protocols
چکیده انگلیسی
We also define and classify the characteristics that add complexity to modern security protocol and some impacts this complexity has on security protocol analysis. Finally, we discuss the modifications that were necessary in our formal method tool to answer this complexity and show how the tool illuminates flaws in the TLS protocol.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 171, Issues 1–3, 4 March 2005, Pages 189-211
نویسندگان
, ,