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

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

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

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

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

زمینه و هدف: وضعیت برنامه ایمن ورزشی، به توانایی فیزیولوژیکی و انگیزه افراد وابسته است. در این زمینه، برآورد مولفه شدت کار بر پایه مقیاس های روان تنی به ویژه در برنامه ریزی فعالیت های ورزشی  بچه های ناشنوا حایز اهمیت است. روش تحقیق: 24 نوجوان ناشنوا با شاخص توده بدنی 3/5±19/9 کیلوگرم بر مجذور قد به متر و نارسایی شنوایی بالاتر از 80 دسی بل، پروتکل بیشینه کارسنجی را به همراه آنالیز گازهای تنفسی ب...

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

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

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