مقاله رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

  مقاله رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی دارای ۱۱ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد مقاله رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

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

بخشی از متن مقاله رویکردی برای تحلیل ایمنی رفتار نرم افزارهای حساس به ایمنی :

تعداد صفحات:۱۱

چکیده:

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