-
وارسی ویژگی های زمانی پروتکل های امنیتی با رویکرد منطق زمانی ps-ltl
جزئیات بیشتر مقاله- تاریخ ارائه: 1386/01/01
- تاریخ انتشار در تی پی بین: 1386/01/01
- تعداد بازدید: 648
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
در این مقاله، مدل تحلیل صحت و آسیب پذیری analyze به گونه ای گسترش داده شده است که بتوان ویژگی های وابسته به زمان را نیز توصیف و وارسی کرد. در مدل گسترش یافته، فرایند تحلیل صحت و آسیب پذیری در دو فاز و شش مرحله انجام می شود. در فاز اول قدم های یک پروتکل به صورت یک مجموعه قواعد، توصیف شده و آنگاه ویژگی های صحت این پروتکل وارسی می شود. در فاز دوم برای توصیف ویژگی های زمانی، از منطق زمانی ps-ltl استفاده می شود و برای وارسی این ویژگی ها قدم های پروتکل به دستگاه حل محدودیت بهبود یافته نگاشت می شود و سپس ویژگی های امنیتی وابسته به زمان با روش حل محدودیت، وارسی می گردد. به عنوان نمونه، پروتکل توافق کلید eke در مدل گسترش یافته وارسی شده و یک حمله نشست موازی برای آن اثبات شده است.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
بررسی اثر ضد دردی فرم فعال ویتامین d در یک مدل درد نوروپاتی
-
ساختارشناسی تحلیلی پانتومیم (هنر ادابازی) با نگاهی بر زندگی اتی ین دوکرو و مارسل مارسو
-
بررسی ساختار سازه های ایمن در برابر زلزله و آسیب شناسی اصولی ساختمان های موجود
-
tbm performance prediction models and influences of rock mass characteristics
-
variational approach and optimal control of a pem fuel cell
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
نقش شرکت های دانش بنیان و پارک های علم و فناوری در تحقق اقتصاد مقاومتی
-
ارزیابی نگرش، دانش و رفتار محیط زیستی بازدیدکنندگان در پارک جنگلی النگ دره گرگان
-
ارتباط بین استقرار مدیریت دانش و توانمندسازی با عملکرد شغلی کارکنان
-
هزینه یابی بر مبنای نتایج، از نظریه تا عمل
-
تبیین نقش تعهد عاطفی و اعتماد شناختی در ارتباط بین رضایت و قصد تسهیم دانش (مطالعه موردی: بانک انصار استان گیلان)
سوال خود را در مورد این مقاله مطرح نمایید :