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