کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
419143 | 681746 | 2010 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Non-repudiation analysis using LySa with annotations
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
This work introduces a formal analysis of the non-repudiation property for security protocols. Protocols are modelled in the process calculus LySa, using an extended syntax with annotations. Non-repudiation is verified using a Control Flow Analysis, following the same approach of Buchholtz and Gao for authentication and freshness analyses.The result is an analysis that can statically check the protocols to predict if they are secure during their execution and which can be fully automated.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computer Languages, Systems & Structures - Volume 36, Issue 4, December 2010, Pages 352–377
Journal: Computer Languages, Systems & Structures - Volume 36, Issue 4, December 2010, Pages 352–377
نویسندگان
Mayla Brusò, Agostino Cortesi,