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