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

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

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

. مقدمه: هدف این مطالعه بررسی کیفی کارایی پروتکل شناخت درمانی مبتنی بر ذهن آگاهی mbct)) در مورد بیماران افسرده خودکشی گرا با اجرای گروهی بود. روش: 5 بیمار دارای اختلال افسردگی با افکار خودکشی اخیر، تحت 10 جلسه درمان گروهی بر اساس راهنمای درمانی حاضر قرار گرفتند. ابزار مورد استفاده شامل یک فرم ساختاریافته ارزیابی کیفی محقق ساخته و فرم بدون ساختار محقق ساخته برای ارزیابی بازخوردهای کلی شرکت کنندگ...

مقدمه: هدف این مطالعه بررسی کیفی کارایی پروتکل شناخت درمانی مبتنی بر ذهن آگاهی mbct)) در مورد بیماران افسرده خودکشی گرا با اجرای گروهی بود. روش: 5 بیمار دارای اختلال افسردگی با افکار خودکشی اخیر، تحت 10 جلسه درمان گروهی بر اساس راهنمای درمانی حاضر قرار گرفتند. ابزار مورد استفاده شامل یک فرم ساختاریافته ارزیابی کیفی محقق ساخته و فرم بدون ساختار محقق ساخته برای ارزیابی بازخوردهای کلی شرکت کنندگان...

چکیده هدف این تحقیق بررسی پاسخ های هورمونی حاد هورمون رشد (gh)، tt، ft، igf-1 و کورتیزول نسبت به سه نوع تمرین مقاومتی، تحملی و ترکیبی بود. این مطالعه بر روی 10 مرد جوان سالم انجام شد. پروتکل تمرین مقاومتی شامل 4 تمرین bench press ,lat pull down ,leg ext ,leg curl بود. پروتکل تمرین مقاومتی شامل 4 ست در هرتمرین، 10 تکرار در هرست، 90 ثانیه استراحت بین ست ها و شدت هرتمرین هم 10-rm80% بود. پروت...

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

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

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