ارائه منطقی پیشرفته برای تحلیل صوری پروتکل های رمزنگاری حمله ای علیه پروتکل mti a(0)
محل انتشار: دومین همایش منطقه ای علوم ریاضی و کاربردها
سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 874
متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
SRCMSA02_046
تاریخ نمایه سازی: 27 آبان 1393
چکیده مقاله:
چکیده: تمرکز روی تحلیل پروتکل های رمزنگاری به منظور اطمینان از صحت آنه روز به روز گسترش یافته استدر سال ۱۹۸۹ آغاز شد. این BAN تحلیل صوری مبتنی بر منطق، توسط باروز ۱، ابدی ۲، نیدهام ۳ با معرفی منطقدر جهت BAN های خانواده کند. در این مقاله چهار نوع از منطق یابی می های احراز اصالت را درست منطق پروتکلای علیه آن ۴ ، معرفی، تحلیل و حمله MTI A( شود. در نهایت پروتکل ( 0 سو سازی می های امنیت هم اهداف پروتکل.[ شود[ ۱ طراحی م
کلیدواژه ها:
نویسندگان
مصطفی شمس الدینی فرد
دانشجوی کارشناسی ارشد ریاض یدانشگاه دامغان
مصطفی زارع خورمیزی
عضو هیات علمی دانشکده ریاضی و علوم کامپیوت ردانشگاه دامغان
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :