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

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

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

‏منطق ban‏ ‎‏که‎ یک منطق شناختی برای تحلیل پروتکل های امنیت است‏، شامل یک قانون استنتاج ناموجه است. این قانون با h نمایش داده می شود. منطق ban‏ یک خاصیت سوال برانگیز را به عنوان نتیجه ای از این قانون‏، به نمایش می گذارد. این خاصیت به عدم صحت شبیه است اما به طور صریح هم ارز آن نیست. ما این خاصیت را با "عدم صحت" نشان می دهیم و آن را با استفاده از پروتکل دوطوطی اثبات می کنیم. خاصیت "عدم صحت" با اس...

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

چکیده زمینه و هدف: هدف از مطالعه ی حاضر مقایسه سه روش درمانی ماساژ، تمرینات ثباتی و ترکیبی بر درد و درصد ناتوانی بیماران مبتلا به کمردرد مزمن غیراختصاصی بود. مواد و روشها: در این تحقیق 30 نفر از بیماران مبتلا به کمردرد مزمن با میانگین سنی 02/9 ± 44/33 سال شرکت کردند. بیماران به طور تصادفی در سه گروه ماساژ، تمرینات ثباتی و ترکیبی قرار گرفتند و به مدت12جلسه (4هفته، بصورت یک روز در میان)، پروتکل د...

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

سابقه و هدف: کودکان لوسمیک که تحت شیمی درمانی قرار می گیرند. در معرض عفونت و سپتی سمی نیز می باشند. لذا شناخت تغییرات در فلورمیکروبی دهان و بینی بینی های لازم کمک کننده خواهد بود.مواد و روش ها: مطالعه ای تحلیلی بصورت Case-Control بر روی فلور میکروبی دهان 20 کودک مبتلا به لوسمی حاد تحت شیمی درمانی در بیمارستان کودکان حضرت علی اصغر (ع) در سال 1378 صورت گرفت. از هر بیمار بوسیله سوآپ استریل 2 نمونه...

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

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