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

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

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

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

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

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

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