رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی
Publish place: The National Conference on Software Engineering
Publish Year: 1388
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,535
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCSE01_037
تاریخ نمایه سازی: 14 آبان 1387
Abstract:
رفتار نرم افزار، میتواند اثر بسیار مهم و تعیین کننده ای در سیستم های حساس به ایمنی داشته باشد. رفتار نامطلوب نرم افزار میتواند سیستم را با شکست مواجه ساخته و نتایج وخیم و غیرقابل جبرانی را به بار آورد. ما در این مقاله، در طی 4 گام، رویکردی را برای تحلیل ایمنی رفتار نرم افزار ارائه داده و سپس با طرح مساله پروتکل ارتباطی مطمئن در شبکه، چگونگی استفاده از رویکردمان را نشان می دهیم. ما در این 4 گام : ( 1) با استفاده از روش رسمی شبکه های پتری، به توصیف رفتار امن نرم افزار میپردازیم. ( 2) با ارائه راه کاری، گزاره- های منطقی پایدار را از شبکه پتری استخراج کرده و آنها را با حساب رخداد بیان میکنیم. ( 3) نیازهای ایمنی سیستم را با حساب رخداد توصیف مینماییم. ( 4) با استفاده از گزاره های منطقی پایدار، رفتار نرم افزار را تحلیل میکنیم. گزاره های منطقی پایدار که هسته پایشگر را تشکیل میدهند، گزاره های همیشه برقراری هستند که رفتار مطلوب نرم افزار را نشان میدهند
Keywords:
Authors
حمید رضا یوسفیان
گروه کامپیوتر دانشگاه آزاد اسلامی نراق