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

مقدمه: از بیشترین ظرفیت هوازی (vo2-max) می توان به منظور سنجش وضعیت قلبی- تنفسی افراد و به دنبال آن ایجاد تناسب فیزیولوژیک بین کار و کارگر استفاده نمود. این مطالعه با هدف تعیین همبستگی بین دو روش آستراند و acsm در برآورد بیشترین ظرفیت هوازی و تعیین عوامل مؤثر بر آن در دانشجویان دانشگاه علوم پزشکی شیراز، صورت پذیرفت. مواد و روش ها: در این مطالعه مقطعی، 104 نفر (54 مرد و 50 زن) از دانشجویان به صو...

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

چکیده:هدف: تحقیقات نشان داده‌اند، بازیافت ناکافی بین جلسات تمرینی سبب سرکوب سیستم ایمنی می‌شود. هدف از پژوهش حاضر مقایسه‌ی تأثیر جلسات مکرر فعالیت‌های ورزشی مقاومتی و استقامتی بر تعداد لکوسیت‌ها، لنفوسیت‌ها، نوتروفیل‌ها، منوسیت‌ها و مقدار پلاسمایی هورمون کـورتیزول در دختران ورزشکار بود. مواد و روش‌ها: 19 دختر ورزشکار (در دامنه‌ی سنی 20 تا 25 سال) داوطلب شرکت در پژوهش در دو مرحله و در دو روز مج...

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

هدف از پژوهش حاضر بررسی تاثیر یک دوره ورزش متوسط بعد از تزریق واکسن hsv-1 بر پاسخ تکثیری لنفوسیت¬ها، تیتروایزوتایپینگ آنتی¬بادی، اینترلوکین4 و اینترفرون گاما در موش¬های ماده نژاد بالپسی بود. 75 موش ماده نژاد بالپسی به طور تصادفی در سه گروه واکسن-پنج جلسه ورزش، واکسن و کنترل (هر گروه 25 موش) قرار گرفتند. گروه واکسن-پنج جلسه ورزش بلافاصله بعد از ورزش اول واکسن دریافت کردند و به دنبال آن 5 جلسه ور...

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

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