کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
426484 | 686082 | 2014 | 34 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Bounding messages for free in security protocols – extension to various security properties
ترجمه فارسی عنوان
پیغام های محدود برای پروتکل های امنیتی رایگان فرمت به ویژگی های امنیتی مختلف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
پروتکل رمزنگاری، روش های رسمی، تایید، محرمانه احراز هویت
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
While the verification of security protocols has been proved to be undecidable in general, several approaches use simplifying hypotheses in order to obtain decidability for interesting subclasses. Amongst the most common is type abstraction, i.e. considering only well-typed runs of the protocol, therefore bounding message length. In this paper, we show how to get message boundedness “for free” under a reasonable (syntactic) assumption on protocols, in order to verify a variety of interesting security properties including secrecy and several authentication properties. This enables us to improve existing decidability results by restricting the search space for attacks.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 239, December 2014, Pages 182–215
Journal: Information and Computation - Volume 239, December 2014, Pages 182–215
نویسندگان
Myrto Arapinis, Marie Duflot,