کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9657907 | 690371 | 2005 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Verification of cryptographic protocols: tagging enforces termination
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Verification of cryptographic protocols: tagging enforces termination Verification of cryptographic protocols: tagging enforces termination](/preview/png/9657907.png)
چکیده انگلیسی
We investigate a resolution-based verification method for secrecy and authentication properties of cryptographic protocols. In experiments, we could enforce its termination by tagging, a syntactic transformation of messages that leaves attack-free executions invariant. In this paper, we generalize the experimental evidence: we prove that the verification method always terminates for tagged protocols.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 333, Issues 1â2, 1 March 2005, Pages 67-90
Journal: Theoretical Computer Science - Volume 333, Issues 1â2, 1 March 2005, Pages 67-90
نویسندگان
Bruno Blanchet, Andreas Podelski,