CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

گواهی نمایه سازی مقاله انالیز رسمی پروتکل DLMS با استفاده ازAVISPA

عنوان مقاله: انالیز رسمی پروتکل DLMS با استفاده ازAVISPA
شناسه (COI) مقاله: ICOAC01_440
منتشر شده در ششمین کنفرانس بین المللی اقتصاد، مدیریت و علوم مهندسی در سال ۱۳۹۴
مشخصات نویسندگان مقاله:

امین ساتیاروند - دانشجوی کارشناسی ارشد، دانشگاه شهید رجایی

خلاصه مقاله:
استفاده از روش های رسمی به عنوان یک تکنیک مفید و کارآمد برای اعتبار سنجی خواص امنیتی پروتکلها در نظر گرفته میشود. در این مقاله، ما امنیت پروتکلDLMSرا با استفاده از یک ابزار تجزیه و تحلیل خودکار به نامAVISPAبررسی میکنیم. تجزیه و تحلیل ما ازاین استاندارد با استفاده ازOFMC , CL-AtSe back-end ازAVISPA نشان می دهد که پروتکلهای دو حزبی در برابر خواص امنیتی مشخص شده امن هستند. در حالی کهback-end ها قادر به پیدا کردن حملات علیه پروتکل های احراز هویت یک طرفه و متقابل دارایparty سوم مورد اعتماد هستند.

کلمات کلیدی:
تبادل کلید، سومینparty/احراز هویت، ابزارAVISPA/پروتکل

صفحه اختصاصی مقاله و دریافت فایل کامل: https://www.civilica.com/Paper-ICOAC01-ICOAC01_440.html