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

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

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

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

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

در طول تاریخ قرآن ترجمه های انگلیسی متفاوتی را به خود دیده است. تمام این ترجمه ها مورد تآیید مراجع رده بالای دین اسلام (روحانیت) قرار گرفته اند. با این وجود در حالیکه تمام آنها مورد تآیید قرار گرفته اند مجموعه واژگانی که در این ترجمه ها به کار رفته کاملا فرق می کند. وجود این تفاوت ممکن است در اثر چیزی که ضیاحسنی (1994) آن را درجات سختی (degrees of difficulties) می نامد رخ دهد. روشی که مترجم برا...

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

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

با توجه به چارچوب نظری اندیشه اسلام از منظر استاد علامه جوادی آملی که بر چهار مؤلفه اصلی علل غایی، فاعلی، مادی و صوری مبتنی است، بررسی نسبت (باورها و ارزش‎های) فلسفه محض با فلسفه علوم انسانی اسلامی و نیز نسبت فلسفه مضاف اخیر با مجموعه علوم انسانی اسلامی، در تولید علوم انسانی اسلامی دارای اهمیت است. از منظر این اندیشمند، در منظومه یک اندیشه یا دین و یا عینیت، داشتن تبیین، تحریر و تحلیل بهتر از ح...

چکیده ایران طی دهه‌های اخیر تغییرات زیادی را تجربه کرده است و یکی از آنها، افزایش نرخ طلاق است. طلاق آغاز فرایندی است با مشکلات فراوان و مطالعه حاضر به دنبال بررسی امنیت اجتماعی ـ اقتصادی و سرمایه اجتماعی و ارتباط آنها در بین زنان مطلقه است. روش تحقیق کمَی است و از تکنیک پیمایش و ابزار پرسشنامه استفاده شد. نمونه تحقیق شامل 200 نفر از زنان مطلقه در شهر سبزوار است. پرسشنامه از اعتبار صوری برخوردا...