الگوریتمی برای درستی یابی محرمانگی در پروتکل های امنیت

پایان نامه
چکیده

در این پایان نامه یک درست یاب خودکار پروتکل های رمزنگاری جدید بر اساس یک نمایش ساده از پروتکل به وسیله ی ‏قاعده های پرولوگ و یک الگوریتم کارآمد جدید که مشخص می کند، آیا یک حقیقت از این قاعده ها استنتاج می شود یا خیر، ارائه شده است. این درست یاب خاصیت محرمانگی در پروتکل ها را اثبات می کند. به کمک استفاده الگوریتم از اتحاد، از مساله ی انفجار فضای حالت جلوگیری می شود. مزیت دیگر این است که نیازی به محدود کردن تعداد اجراهای پروتکل در تحلیل نیست. صحت این الگوریتم اثبات و پیاده سازی ‏شده است. نتایج آزمایشی نشان می دهد که پروتکل های زیادی از جمله skeme توسط این ابزار با منابع (حافظه و زمان) خیلی کم قابل تحلیل است. زمان این تحلیل کمتراز 0.1 ثانیه برای پروتکل های ساده و تا 23 ثانیه برای حالت کامل پروتکلskeme ‎ می باشد و کمتر از 2 مگابایت از حافظه را اشغال می کند.

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان - دانشکده ریاضی و کامپیوتر

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023