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

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

-

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

اصواتی مثل «hmm»، «بله»، «جداً»، «mm» و... به کرات در گفتگوها شنیده می شوند، اما تاکنون در زبان فارسی بررسی نشده اند. این کلمات بر پیشبرد هرچه بهتر گفتگو تأثیر می گذارند. اهمیت نشانه های بازخوردی در زمان فقدان آنها فهمیده می شود. اگر نشانه های بازخوردی نا به جا به کار رود، در روند گفتگو اختلال ایجاد می کند، پس چشم پوشیدن از آنها در تحلیل گفتگوها باعث نادیده گرفتن بخش مهمی از تعاملات روزانه می شو...

شرح و تفسیر مثنوی جلال‌الدین محمد مولوی سابقه‌ای دیرین دارد، اما نکتۀ حائز اهمیت در شیوۀ شرح این تفاسیر، گرایش عرفانی آن­‌ها در توضیح محتوایی ابیات است. در شیوۀ تفسیری که برای تحلیل مثنوی در این مقاله ارائه نموده‌ام، کوشیده‌ام تا حوزۀ معانی ابیات را در الفاظ آن محدود و مدلل سازم. در این شیوه، مبنای معنایابی شعر توجه به صنایع ادبی و آرایه‌‏های زبانی آن است. این شیوه را جهت به چ...

هدف پژوهش حاضر، تعیین رابطه علی توانمندسازی روان شناختی و قابلیت فن آوری اطلاعات با میانجی گری خودکارآمدی مدیران مدارس دخترانه متوسطه شهر اصفهان بوده که با روش پژوهش همبستگی انجام شد. جامعه آماری، شامل کلیه مدیران مدارس دخترانه متوسطه شهر اصفهان در سال تحصیلی 93-1392 به تعداد 250 نفر بود. حجم نمونه بر اساس فرمول کوکران، 152 نفر برآورد گردید و روش نمونه گیری تصادفی طبقه ای بر حسب ناحیه بود. ابزا...

پژوهش حاضر  درصدد بررسی تأثیر چابک سازی سازمانی بر هوش معنوی و توانمند سازی کارکنان دستگاههای اجرایی شهر زاهدان بوده است است. با کاربرد روش پیمایش و استفاده از تکنیک پرسشنامه، داده های تحقیق از روی 371 نفر از کارکنان شهر زاهدان که با استفاده از جدول نمونه گیری مورگان و کرجسی(1975) و روش نمونه گیری طبقه ای نسبتی انتخاب شده بودند؛ گردآوری شده است. به منظور اعتبار سنجی پرسشنامه تحقیق از روش اعتبار...

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

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