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

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

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

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

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

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

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

تحلیل الگوی تعامل آزادی و امنیت   اصغر افتخاری*   (تاریخ دریافت: 18/1/93 – تاریخ پذیرش:   5/8/93  )   چکیده با توجه به نقش راهبردی فضایل در مدیریت زندگی اجتماعی و سیاسی، این پرسش که درصورت بروز تداخل یا تعارض بین فضایل، چگونه می توان موضوع را مدیریت نمود، دغدغه ای دیرین در حوزه مباحث فلسفه سیاسی و اجتماعی به شمار می آید که از ارزش نظری و راهبردی برخوردار است. در مقاله حاضر، نویسنده از نسبت دو ف...

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

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