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

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

  چارچوب نقطۀ چالش دیدگاهی نظری برای فهم تأثیرات متغیرهای تمرینی در یادگیری حرکتی است. با توجه به این چارچوب، متغیرهای تداخل ضمنی و بازخورد آگاهی از نتیجه رابطۀ تنگاتنگی با سطح مهارت و دشواری تکلیف مورد یادگیری دارند. ازاین‌رو هدف از تحقیق حاضر، بررسی تأثیر تمرینات مبتنی بر چارچوب نقطۀ چالش بر کنترل قامت افراد مبتلا به مولتیپل اسکلروزیس بود. به این منظور کنترل قامت 22 فرد 20 تا 65 سالۀ مبتلا ب...

توسعه تدریجی عدالت کیفری منطقه‌ای با تاکید بر دیوان آفریقایی دادگستری و حقوق بشر تعقیب برخی از سران دول آفریقایی و ادعای اعمال عدالت گزینشی دیوان کیفری بین المللی موجب ناخرسندی عمیق اتحادیه آفریقایی گردید. موضع‌گیری اتحادیه و برخی دول آفریقایی در قالب خروج از دیوان کیفری بین المللی مطرح و در نهایت با تدوین پروتکل مالابو 2014 تاسیس دیوان آفریقایی دادگستری و حقوق بشر دنبال شد. دیوان آفریقایی مذکو...

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

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

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

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

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

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