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

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

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

هدف از پژوهش حاضر مقایسة سه پروتکل تمرینی زیربیشینة کم خطر بر آورد کنندة عامل آمادگی قلبی – عروقی نسبی در مردان کم تحرک و توسعة معادلات جدید برای این سه پروتکل است. به همین منظور, 150 نفر از مردان کم تحرک به صورت داوطلبانه و به ترتیب با میانگین و انحراف معیار سن, قد, وزن و شاخص تودة بدن 15/10 ± 19/45 سال, 62/7 ± 33/172 سانتیمتر, 27/11 ± 86/70 کیلوگرم و 15/3 ± 86/23 کیلوگرم بر مترمربع در این پژو...

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

پیش‌بینی میزان مصرف سوخت مجتمع‌های سوخت در راکتورهای هسته‌ای از مهمترین مباحث مهندسی هسته‌ای و فیزیک راکتور است. محققان زیادی در کشورهای مختلف در زمینۀ بهبود میزان مصرف سوخت در راکتورهای هسته‌ای و افزایش شاخص‌های اقتصادی و ایمنی آن کار می‌کنند. کد DRAGON4 یک کد محاسبات سلولی و مصرف سوخت است که در دانشگاه پلی‌تکنیک مونترال کانادا توسعه یافته است. در پژوهش حاضر، ابتدا کد مذکور برای یک مجتمع سوخت ...

در این پایان نامه طراحی و پیاده سازی یک کنترل کننده صنعتی هوشمند با قابلیت ارتباط توسط پروتکل های صنعتی استاندارد با نرم افزار scada ارائه شده است . در این پروژه از نرم افزار scada به عنوان نرم افزار سیتم مانیتورینگ و کاربری استفاده شده است و نحوه ارتباط نرم افزار scada در بستر tcp/ip انجام می گیرد .به گونه ای که در بستر tcp/ip برای حفظ فاکتورهای امنیتی و کاهش ضریب خطا از دو پروتکل mod bus و p...

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

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

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