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

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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

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

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

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

شبکه های بی سیم بر اساس معماری شبکه به دو دسته شبکه های حاوی زیر ساختار و شبکه های بدون زیر ساختار (اقتضایی) تقسیم می شوند. در شبکه های حاوی زیر ساختار، ادوات بی سیم معمولی به زیر ساختار مربوطه متصل می شوند. اما در شبکه های بدون زیر ساختار، ادوات بی سیم به طور خودکار به یکدیگر وصل می شوند و هیچ زیر ساختاری برای کمک به این ارتباط ها وجود ندارد. یکی از این نوع شبکه های بدون زیرساخت شبکه های اقتضا...

نقش اینترنت در زندگی روزمره ی ما به سرعت در حال افزایش است. دسترسی فراگیر به سرویس اینترنتی یکی از خواسته های اصلی کاربران است. گاهی اوقات و به دلایل مختلف از قبیل ترافیک سنگین یا مشکلات فنی، سرویس دهنده (wisp) اصلی یک کاربر قادر به ارائه ی سرویس اینترنتی به وی نیست. اگر سرویس دهنده ی دیگری (سرویس دهنده ی جدید) در همان لحظه قادر باشد تا سرویس مورد نظر را به کاربر ارائه دهد، یک پیشنهاد قابل ارائ...

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