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

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

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

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

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

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

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

این نوشتار، با معرفی پروتکل پیشنهادی pmh، بر آن است تا نشان دهد که چگونه می توان از این پروتکل برای ایجاد فهرستگان اسناد آرشیوی بهره گرفت. هدف نهایی این پروتکل، تسهیل در انتقال اطلاعات به صورت فراداده در محیط شبکه است. pmh، با بهره گیری از عناصر فراداده دوبلین کور، قالب (فرمت) xml (زبان نشانه گذاری گسترش پذیر) و پروتکل http این امر را میسر می سازد. بدین منظور، مقاله به تعریف فراداده و معرفی عنا...

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

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