رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی
محل انتشار: کنفرانس ملی مهندسی نرم افزار
سال انتشار: 1388
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,518
فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCSE01_037
تاریخ نمایه سازی: 14 آبان 1387
چکیده مقاله:
رفتار نرم افزار، میتواند اثر بسیار مهم و تعیین کننده ای در سیستم های حساس به ایمنی داشته باشد. رفتار نامطلوب نرم افزار میتواند سیستم را با شکست مواجه ساخته و نتایج وخیم و غیرقابل جبرانی را به بار آورد. ما در این مقاله، در طی 4 گام، رویکردی را برای تحلیل ایمنی رفتار نرم افزار ارائه داده و سپس با طرح مساله پروتکل ارتباطی مطمئن در شبکه، چگونگی استفاده از رویکردمان را نشان می دهیم. ما در این 4 گام : ( 1) با استفاده از روش رسمی شبکه های پتری، به توصیف رفتار امن نرم افزار میپردازیم. ( 2) با ارائه راه کاری، گزاره- های منطقی پایدار را از شبکه پتری استخراج کرده و آنها را با حساب رخداد بیان میکنیم. ( 3) نیازهای ایمنی سیستم را با حساب رخداد توصیف مینماییم. ( 4) با استفاده از گزاره های منطقی پایدار، رفتار نرم افزار را تحلیل میکنیم. گزاره های منطقی پایدار که هسته پایشگر را تشکیل میدهند، گزاره های همیشه برقراری هستند که رفتار مطلوب نرم افزار را نشان میدهند
کلیدواژه ها:
نویسندگان
حمید رضا یوسفیان
گروه کامپیوتر دانشگاه آزاد اسلامی نراق