کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423696 685277 2008 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks
چکیده انگلیسی

In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has been overlooked in all significant protocol verification frameworks based on formal methods. We identify and classify new type-flaw attacks arising from this capability.Several examples of protocols that are vulnerable to this type of attack are given, including Lowe's modification of KSL. The consequences for automatic verification tools are discussed.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 197, Issue 2, 22 February 2008, Pages 31-43