مدل سازی و اعتبارسنجی پروتکل تصدیق هویت دانایی صفر گوئیلو کوئیس کواتر

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 559

فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

TAES01_022

تاریخ نمایه سازی: 1 آذر 1394

چکیده مقاله:

وارسی مدل روشی خودکار برای بررسی سیستم های همزمان و سیستم هایی با حالات متناهی می باشد. امروزه وارسی مدل به شکل گسترده ای در آنالیز و ارزیابی صحت سخت افزار، سیستم های نرم افزاری و به خصوص پروتکل های امنیتی مورد استفاده قرار می گیرد. پروتکل گوئیلو- کوئیس کواتر که یک پروتکل مبتنی بر دانایی صفر است، برای اهداف تصدیق هویت کاربرد دارد. در این مقاله ما مدلی از این پروتکل در قالب ماشین حالت متناهی ارائه، ویژگی هایی را به صورت CTL بیان، و پس از پیاده سازی توسط ابزار وارسی مدل نمادین NuSMV اقدام به وارسی و ارزیابی این پروتکل کردیم. با توجه به نتایج حاصل شده، این پروتکل در تمام حالات به درستی عملیات اعتبارسنجی را انجام نمی دهد.

کلیدواژه ها:

وارسی مدل ، پروتکل تصدیق هویت دانایی صفر ، پروتکل گوئیلو کوئیس کواتر ، NuSMV ، CTL

نویسندگان

حمیدرضا خیرمند

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

مهدی جوانمرد

استادیار، دانشگاه پیام نور

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • L. C. Guillou and J Quisquater, "A Practical Zero -Knowledge ...
  • A. K. Maurya, M. S. Choudhary, P. Ajeyaraj, and S. ...
  • Cavada, R., et.al : Nusmv 2.5 user manual. http://musmv. fbk. ...
  • Cavada, R., et.al: Nusmv 2.5 tutorial. http ://nusmv. fbk. eu/Nu ...
  • نمایش کامل مراجع