در این پایان نامه، ابتدا چند تابع درهم ساز و چند مولد اعداد شبه تصادفی توصیف می شود.سپس منطق svd برای تحلیل ویژگی های احراز هویت در پروتکل های رمزنگاری که یک نسخه بهبود یافته از منطق svo‎ است، معرفی می شود. چنین منطق هایی در تجارت الکترونیک و دیگر زمینه ها مفید واقع می شوند. پیاده سازی خودکار این منطق ساده است و از آن جا که قواعد آن چارچوب شفافی دارند، به آسانی قابل گسترش است.در پایان، برهانی...

پس از مطرح شدن قانون g. moore مبنی بر کوچک شدن ترانزیستورها تا ابعاد زیر اتمی، دغدغه محققین یافتن راهی بود که بتوان محاسبات را در ابعاد زیر اتمی انجام داد. بدین ترتیب محاسبات از دنیای کلاسیک وارد دنیای کوانتوم شد و محاسبات کوانتومی نام گرفت که ترکیبی از مکانیک کوانتومی، علوم کامپیوتر و محاسبات کلاسیکی است. یکی از شاخه های مهم محاسبات و علم اطلاعات کوانتومی، رمز نگاری کوانتومی است که ارتباطات در...

اطلاعات یک عنصر کلیدی در جامعه ماست بنابراین محرمانگی، احراز هویت و صحت اطلاعات آن باید تضمین شده باشد.....این پایان نامه روی بررسی تصمیم پذیری محرمانگی در پروتکل های امنیت متمرکز است. صوری سازی های استفاده شده برای دستیابی به نتیجه های موجود در این زمینه متنوع و برخی از اثباتها اشکال دارد. در این پایان نامه این نتیجه ها تحت صوری سازی یکسان ارائه و اشکالها تصحیح شده است.

در بسیاری از کاربرد¬ها مهاجم، با کمک یا بدون کمک یک برچسب rfid که در فاصله مجاز قرار ندارد، قرائتگر را متقاعد می¬کند که او را تصدیق اصالت کند، برای مقابله با این حملات پروتکل¬هایی مرسوم به محدودیت فاصله ارائه شده¬اند. در این پروژه امنیت دو پروتکل محدودیت فاصله که اخیراً توسط جنتی و فلاحتی (پروتکل jf) و گورل و همکاران (پروتکل gaa) پیشنهاد شده¬اند را بررسی می¬کنیم و اثبات می¬کنیم که این دو پروتک...

در این پایان نامه با در نظرگرفتن ویژگی های اساسی شبکه های ویژه سیار از قبیل محدودیت انرژی و همچنین مستعد بودن آنها در برابر نفوذها، از پروتکل مسیریابی سلسله مراتبی cbrp استفاده نموده و به منظورتأمین امنیت و بهبود پروتکل cbrp با استفاده از راهکارهای نظریه بازی پروتکل جدیدی بنام scbrpدر این شبکه ها ارائه نموده ایم بطوریکه scbrp هم مکانیزم پیشگیری از نفوذ و همچنین قابلیت تحمل نفوذ (scbrp+pdg) را...

امروزه فن آوری اطلاعات با رسوخ گسترده خود در تمامی زمینه ها ،عصر جدیدی را پیش روی تمامی حوزه ها از قبیل تجارت ،اقتصاد،صنعت و.... قرار داده است.یکی از زمینه هایی که فن آوری اطلاعات تاثیر بسزایی در آن داشته است، حوزه بانکداری است، تا این حد که شیوه جدیدی از بانکداری به نام بانکداری الکترونیکی (e _banking)معرفی شده است. سیستم های بانکداری الکترونیکی بدون فراهم آوردن خدمات امنیتی نمی توانند به حیات...

گمنامی خاصیتی قابل ردیابی نیست، از این رو بررسی گرهای مدل سنتی توانایی بیان و درستی یابی آن را ندارند. با بهره گیری از منطق شناختی برای مدل کردن پروتکل ها می توان گمنامی را با فرمول شناختی بیان و درستی یابی کرد.در این پایان نامه هدف استفاده از منطق شناختی پویا برای مدل سازی پروتکل های امنیت و خاصیت ها به ویژه خاصیت گمنامی است.

از آنجاییکه در پروتکل های رای گیری اینترنتی، رای دهندگان می توانند از هر ترمینالی رای بدهند، پروتکل و متصدیان انتخاباتی نمی توانند هیچ کنترلی بر روی امنیت این ترمینال ها -که عموماً رایانه ها و لپ تاپ های آلوده ای هستند و با اتصال به اینترنت به سادگی آلوده می شوند- داشته باشند. پروتکل های متعددی نیز که در حوزه رای گیری اینترنتی معرفی می شوند تنها به تامین امنیت داده های مبادله شده بین واحدهای درگ...

امروز با توسعه روزافزون کاربردهای شبکه ضرورت صرف جویی در پهنای باند مضاعف شده و در این راستا سرویس چند پخشی جایگاه ویژه ای یافته است بطوریکه برقراری امنیت در کاربردهای بر اساس این سرویس اجتناب ناپذیر است. تاکنون چندین پروتکل چند بخشی امن پیشنهاد شده است. با توجه به تنوع پروتکل های پیشنهاد شده بررسی و مقایسه پروتکل ها ضروری به نظر می رسد تا بتوان برای هرکاربرد مناسب ترین پروتکل چند پخشی امن را ب...

هدف این پایان نامه تحلیل و بررسی پروتکل های امنیتی در سیستم های شناسایی اجسام به وسیله امواج رادیویی (rfid)و همچنین بهبود امنیت آنها است.در این فن آوری محدودیت های عمومی در طراحی سخت افزاری وجود دارد. از جمله مقدار فضای حافظه ای کم، قدرت محاسباتی محدود و لزوم پایین ماندن قیمت نهایی آنها. از این رو این سیستم ها همواره در معرض حملات متعددی قرار دارند. در این پایان نامه، پس از بررسی کلی سیستم های ...