کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10329767 685519 2005 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Extending Security Protocol Analysis: New Challenges
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Extending Security Protocol Analysis: New Challenges
چکیده انگلیسی
We argue that formal analysis tools for security protocols are not achieving their full potential, and give only limited aid to designers of more complex modern protocols, protocols in constrained environments, and security APIs. We believe that typical assumptions such as perfect encryption can and must be relaxed, while other threats, including the partial leakage of information, must be considered if formal tools are to continue to be useful and gain widespread, real world utilisation. Using simple example protocols, we illustrate a number of attacks that are vital to avoid in security API design, but that have yet to be modelled using a formal analysis tool. We seek to extract the basic ideas behind these attacks and package them into a wish list of functionality for future research and tool development.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 125, Issue 1, 3 March 2005, Pages 13-24
نویسندگان
, ,