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

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

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

گستردگی و ماهیت توزیع¬شده¬ی شبکه¬های کامپیوتری بستری مناسب برای نفوذ و آسیب وارد نمودن به پروتکل¬های درحال اجرا روی این شبکه¬ها پدیدآورده است. یکی از پروتکل¬های لایه¬ی ip که در معرض آسیب¬های ناشی از این بستر ناامن و حفاظت نشده قرار دارد، پروتکل mobile ipv6 (mipv6) است. mipv6 پروتکلی برای اینترنت ipv6 است که مشکلات ناشی از جابجائی و تغییرات ip گره¬ها در شبکه را حل می¬کند. مکانیزم بهینه¬سازی مسیر...

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

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

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

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

هدف از این تحقیق، بررسی تأثیر فعالیت مقاومتی حاد با ترتیب حرکتی متفاوت بر شاخص های خستگی (سروتونین و آزمون درک فشار) در مردان غیر ورزشکار با وزن معمولی و چاق بود. 26 دانشجوی پسر به صورت هدفمند انتخاب و در دو گروه چاق و با وزن طبیعی (11 نفر چاق و 15 نفر معمولی) قرار گرفتند. در جلسۀ اول، به صورت تصادفی نیمی از آزمودنی ها (از هر دو گروه چاق و معمولی) پروتکل مقاومتی الف (اجرای حرکات مقاومتی از عضلا...