حمید رضا یوسفیان - گروه کامپیوتر دانشگاه آزاد اسلامی نراق

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

سیستمهای حساس به ایمنی، تحلیل پویا، گزارههای منطقی پایدار، نیازهای ایمنی