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

به دنبال شکل گیری ماده 3 مشترک کنوانسیون های چهارگانه ژنو در سال 1949 و پروتکل الحاقی دوم به این کنوانسیون ها در سال 1977، جامعه جهانی به مفهوم آستانۀ مخاصمات مسلحانه غیربین المللی، به عنوان مرز عبور از وضعیت هایی چون شورش و درگیری های پراکنده داخلی و ظرفیتی مؤثر در کاهش حقوق حاکمیتی و حتی پایان بخشیدن به صلاحیت انحصاری محاکم داخلی دول محل وقوع مخاصمه، توجه نشان دادند. دول محل وقوع مخاصمه، به خ...

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

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

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

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

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

به باور رولان بارت، میان نوشتار و تصویر دو نوع رابطه هست: در رابطة نوع اول (لنگر)، نوشتار دامنة باز تصویر را محدود می کند و در رابطة نوع دوم (بازپخش)، نوشتار و تصویر مکمّل یکدیگرند. کرس و لیون رابطة دیگری به نام «یک تصویر- چند کلام» را مطرح می کنند که در آن، تصویر برای ساخت معنا استقلال دارد. اما انواع دیگری از ارتباط میان تصویر و نوشتار هست که بارت، کرس، لیون و دیگران به آن اشاره ای نکرده اند. ...