مدلسازی و تحلیل کمی پروتکلهای امنیتی مبتنی بر بررسی مدل احتمالی و ابزار PRISM

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

کلیدواژه ها:

پروتکلهای امنیتی ، درستی یابی ، بررسی مدل احتمالی ، روشهای صوری

نویسندگان

مجتبی اکبرزاده

آزمایشگاه مهندسی کارایی و اتکاپذیری دانشکده مهندسی کامپیوتر دانشگاه

محمد عبداللهی ازگمی

آزمایشگاه مهندسی کارایی و اتکاپذیری

مراجع و منابع این مقاله:

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

A. Armando, et al., "The AVISPA Tol for the Automated ...
and Applications, " Computer Aided Verification, LNCS 3576, 2005. ...
M. Olszewski and L. Cyra, "An Integrated Framework for Security ...
S. Wang and Y. Zhang, "A Logic Programming Based Framework ...
F. Crazzolara and G. Winskel, "Events in Security protocol, " ...
E. Best, R. Devillers, M. Koutny, "Petri Net Algebra, " ...
R. Bouroulet, H. Klaudel and E. Pelz, "Modelling and Verification ...
M. Kwiatkowska, G. Norman and D. Parker, "PRISM: Probabilistic Symbolic ...
PRISM Web Site, www.cs.bham dc .uk/-dxp/prism. Version ...
M. Kwiatkowska, G. Norman and D. Parker, "Quantitative Analysis with ...

نمایش کامل مراجع

صدور گواهی نمایه سازی
من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

https://civilica.com/doc/96887

شناسه ملی سند علمی:

ISCC06_041

تاریخ نمایه سازی: 16 تیر 1389

نحوه استناد به مقاله:

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

اکبرزاده، مجتبی و عبداللهی ازگمی، محمد،1388،مدلسازی و تحلیل کمی پروتکلهای امنیتی مبتنی بر بررسی مدل احتمالی و ابزار PRISM،ششمین کنفرانس بین المللی انجمن رمز ایران،اصفهان،https://civilica.com/doc/96887

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این مقاله اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (1388، اکبرزاده، مجتبی؛ محمد عبداللهی ازگمی)
برای بار دوم به بعد: (1388، اکبرزاده؛ عبداللهی ازگمی)
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

مقالات پیشنهادی مرتبط

مقالات فوق بر اساس داده کاوی مقالات مطالعه شده توسط پژوهشگران محاسبه شده است.

مقالات مرتبط جدید