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

مقدمه: از بیشترین ظرفیت هوازی (vo2-max) می توان به منظور سنجش وضعیت قلبی- تنفسی افراد و به دنبال آن ایجاد تناسب فیزیولوژیک بین کار و کارگر استفاده نمود. این مطالعه با هدف تعیین همبستگی بین دو روش آستراند و acsm در برآورد بیشترین ظرفیت هوازی و تعیین عوامل مؤثر بر آن در دانشجویان دانشگاه علوم پزشکی شیراز، صورت پذیرفت. مواد و روش ها: در این مطالعه مقطعی، 104 نفر (54 مرد و 50 زن) از دانشجویان به صو...

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

هپاتیت مزمن سی یکی از شایع¬ترین علل نارسایی مزمن کبد و پیوند کبد در جهان محسوب می شود. تقریباٌ 3 درصد جمعیت جهان یعنی بیش از 180 میلیون نفر آلوده به این ویروس هستند. احتمال پاسخ به درمان در بیماران بسته به ژنوتیپ ابتلایی متفاوت است. اگر فرد به ژنوتیپ نوع اول مبتلا شده باشد امکان درمان او کمتر از 50 درصد و طول دوره درمان 48 هفته است ولی در ژنوتیپ نوع دوم و سوم این احتمال به بالای 80 درصد می رسد و...

با استفاده از نظریه جرم موثر, ویژه مقادیر انرژی الکترونها و حفره ها در سیمهای کوانتومی با سطح مقطع مستطیلی و مربعی محاسبه شده است. در این تقریب ضمن ارائه شکل خاصی برای وابستگی مکانی جرم موثر حاملها, ارتفاع سد پتانسیل نیز محدود در نظر گرفته شده است. با استفاده از داده های موجود برای سیستم های as/inp in0.53 ga0.47و gaas/ga0.63al0.37as, ویژه مقادیر انرژی محاسبه و با نتایج به دست آمده از روشهای نظر...

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

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

منطق اِحراز هویت باروز ابدی و نیدهام (ban) گام های مهمی در جهت تحلیل پروتکل های امنیت بر می دارد‏‏، و دارای چندین بازبینی پی در پی پیشرفته است. در این پایان نامه منطق های vo و svo را مطالعه می کنیم. vo یک گسترش از منطق های خانواده ban می باشد که برای اولین بار‏، بررسی کلید عمومی مبتنی بر پروتکل های ایجاد کلید اِحراز هویتی که هر دو عامل در اشتقاق کلید (یعنی‏، پروتکل های توافق-کلید) همکاری دارند را...

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