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

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

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

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

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

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

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

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

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

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