چکیده استفاده گسترده از پروتکل کنترل انتقال (tcp) در اینترنت و رشد حجم اطلاعات فرستاده شده از طریق وب در طول سال های گذشته علایق محققان را برای مطالعه مشکلاتی چون ازدحام شبکه برانگیخته است. افزایش نرخ گم شدن بسته ها و کاهش بازدهی شبکه چالش های اساسی را برای کاربران ایجاد نموده است و قابلیت اطمینان شبکه را پایین آورده است. در این مطالعه ابتدا مسأله ازدحام و اهمیت کنترل آن بیان می شود و سپس روی...

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

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

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

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

در این پایان‏ نامه، ابتدا چند حمله به برخی پروتکل های اِحراز هویت بیان می شود. سپس، چند پروتکل با استفاده از منطق ban‎ تحلیل و نقد نِست بر این منطق بیان می شود. در ادامه، منطق autlogکه یک نسخه ی اصلاح شده از منطق ban‎ می باشد و درprolog پیاده سازی شده است ، معرفی می شود. انگیزه ی اصلاحات، تحلیل تعداد زیادی از پروتکل ها بوده است. یک پروتکل چالش-واکنش و نسخه ی دوگان آن، برای نشان دادن مزیت های منطق...

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

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

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

‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...