-
وارسی ویژگی های زمانی پروتکل های امنیتی با رویکرد منطق زمانی ps-ltl
جزئیات بیشتر مقاله- تاریخ ارائه: 1386/01/01
- تاریخ انتشار در تی پی بین: 1386/01/01
- تعداد بازدید: 593
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
در این مقاله، مدل تحلیل صحت و آسیب پذیری analyze به گونه ای گسترش داده شده است که بتوان ویژگی های وابسته به زمان را نیز توصیف و وارسی کرد. در مدل گسترش یافته، فرایند تحلیل صحت و آسیب پذیری در دو فاز و شش مرحله انجام می شود. در فاز اول قدم های یک پروتکل به صورت یک مجموعه قواعد، توصیف شده و آنگاه ویژگی های صحت این پروتکل وارسی می شود. در فاز دوم برای توصیف ویژگی های زمانی، از منطق زمانی ps-ltl استفاده می شود و برای وارسی این ویژگی ها قدم های پروتکل به دستگاه حل محدودیت بهبود یافته نگاشت می شود و سپس ویژگی های امنیتی وابسته به زمان با روش حل محدودیت، وارسی می گردد. به عنوان نمونه، پروتکل توافق کلید eke در مدل گسترش یافته وارسی شده و یک حمله نشست موازی برای آن اثبات شده است.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
بررسی عوامل موثر برتولید کامپوزیت متخلخل پایه آلومیناید نیکل به روش سنتز احتراقی
-
تاثیر ضخامت دیوار بر تغییر شکل جانبی در گودهای میخ کوبی شده تحت بارهای دینامیکی
-
بررسی رویکردهای نوین مدیریت در مدارس
-
vertical geometric irregularity assessment of steel frames on robustness and disproportionate collapse
-
computer simulations of natural convection of single phase nanofluids in simple enclosures: a critical review
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی رابطه بین عوامل ساختاری شرکت با رضایتمندی مشتریان بیمه معلم
-
پیش بینی سلامت روان و شادکامی بر اساس سبک زندگی اسلامی (مطالعه موردی:دبیران دوره دوم متوسطه ناحیه یک خرم آباد)
-
بررسی مولفه های موثر بر استفاده از بانکداری همراه با رویکرد تلفیقی نظریه یکپارچه پذیرش و استفاده از فناوری و مدل تایید انتظارات
-
اثر ارتباط دعاوی بر گسترش صلاحیت محلی در آیین دادرسی مدنی ایران و فرانسه
-
بررسی آگاهی دانش آموزان از ویژگی های یک مشاور موفق
سوال خود را در مورد این مقاله مطرح نمایید :