دانش رسان |
مرکز علم و دانش کشور مقاله مدل سازی و اعتبارسنجی پروتکل تصدیق هویت دانایی صفر گوئیلو کوئیس کواتر
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
مقاله مدل سازی و اعتبارسنجی پروتکل تصدیق هویت دانایی صفر گوئیلو کوئیس کواتر دارای ۱۰ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله مدل سازی و اعتبارسنجی پروتکل تصدیق هویت دانایی صفر گوئیلو کوئیس کواتر کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله مدل سازی و اعتبارسنجی پروتکل تصدیق هویت دانایی صفر گوئیلو کوئیس کواتر،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن مقاله مدل سازی و اعتبارسنجی پروتکل تصدیق هویت دانایی صفر گوئیلو کوئیس کواتر :
تعداد صفحات:۱۰
چکیده:
وارسی مدل روشی خودکار برای بررسی سیستم های همزمان و سیستم هایی با حالات متناهی می باشد. امروزه وارسی مدل به شکل گسترده ای در آنالیز و ارزیابی صحت سخت افزار، سیستم های نرم افزاری و به خصوص پروتکل های امنیتی مورد استفاده قرار می گیرد. پروتکل گوئیلو- کوئیس کواتر که یک پروتکل مبتنی بر دانایی صفر است، برای اهداف تصدیق هویت کاربرد دارد. در این مقاله ما مدلی از این پروتکل در قالب ماشین حالت متناهی ارائه، ویژگی هایی را به صورت CTL بیان، و پس از پیاده سازی توسط ابزار وارسی مدل نمادین NuSMV اقدام به وارسی و ارزیابی این پروتکل کردیم. با توجه به نتایج حاصل شده، این پروتکل در تمام حالات به درستی عملیات اعتبارسنجی را انجام نمی دهد.
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
