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

مقدمه: از بیشترین ظرفیت هوازی (vo2-max) می توان به منظور سنجش وضعیت قلبی- تنفسی افراد و به دنبال آن ایجاد تناسب فیزیولوژیک بین کار و کارگر استفاده نمود. این مطالعه با هدف تعیین همبستگی بین دو روش آستراند و acsm در برآورد بیشترین ظرفیت هوازی و تعیین عوامل مؤثر بر آن در دانشجویان دانشگاه علوم پزشکی شیراز، صورت پذیرفت. مواد و روش ها: در این مطالعه مقطعی، 104 نفر (54 مرد و 50 زن) از دانشجویان به صو...

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

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

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

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

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

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

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