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

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

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

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

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

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

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

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

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

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