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

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

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

چکیده پرونده هسته­ای، تاکنون یکی از پیچیده ترین معماهای امنیتی روابط خارجی ایران بوده است. نقطه ثقل سیاست خارجی ایران، تقابل ایدئولوژیک (محور مقاومت) با قدرت های ساختاری نظام بین الملل است. پرسش اصلی بدین ترتیب قابل طرح است که ﺗﺄثیرات بلند مدت سیاست های منطقه ای ایران در خاورمیانه بر برنامه هسته­ای از منظر نو واقعگرایی چیست؟ پاسخ بدین شکل فرض گردید که موازنه ناکام ایران در برابر ساختار هژمونیک ...

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

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

چکیده در ادبیات اقتصادی و به ویژه اقتصاد بین الملل، معمای فلداستین و هوری اوکا که به اختصار معمای f-h نامیده می شود، از اهمیت خاصی برخوردار است. طبق معمای f-h، در کشورهای با تحرک بین المللی سرمایه بالا (پایین)، بین نرخ سرمایه گذاری و نرخ پس انداز داخلی ارتباط مثبت قوی (ضعیف) برقرار است. هدف این تحقیق، بررسی و مقایسه این معما برای کشورهای منطقه منا و گروه هفت است. برای نیل به هدف مذکور، از تحلیل...

چکیده در ادبیات اقتصادی و به‌ویژه اقتصاد بین‌الملل، معمای فلداستین و هوری‌اوکا که به اختصار معمای F-H نامیده می‌شود، از اهمیت خاصی برخوردار است. طبق معمای F-H، در کشورهای با تحرک بین‌المللی سرمایه بالا (پایین)، بین نرخ سرمایه‌گذاری و نرخ پس‌انداز داخلی ارتباط مثبت قوی (ضعیف) برقرار است. هدف این تحقیق، بررسی و مقایسه این معما برای کشورهای منطقه منا و گروه هفت است. برای نیل به هدف مذکور، از تحلی...

پرسش محوری فرگه در مقاله در باب معنی و مدلول آن است که چگونه می توان تفاوت معرفتزایی جمله هایی به فرم a=a را از a=b توجیه کرد.a=a تحلیلی و پیشین است در حالی که a=b پسین است و ارزش شناختی متفاوتی دارد. نظریه معنی (sense) و مدلول فرگه برای پاسخ به همین پرسش طرح می شود.سنس نحوه رسیدن به یک مدلول است و تفاوت راههای رسیدن به یک مدلول توجیه گر چگونگی معرفتزایی اینهمانیهای تجربی است.در سنت تحلیلی توجی...