دانش رسان |
مرکز علم و دانش کشور مقاله راستی آزمایی سیاستهای امنیتی نرم افزار با استفاده از رویکرد ماشین حالت انتزاعی
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
مقاله راستی آزمایی سیاستهای امنیتی نرم افزار با استفاده از رویکرد ماشین حالت انتزاعی دارای ۱۲ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله راستی آزمایی سیاستهای امنیتی نرم افزار با استفاده از رویکرد ماشین حالت انتزاعی کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله راستی آزمایی سیاستهای امنیتی نرم افزار با استفاده از رویکرد ماشین حالت انتزاعی،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن مقاله راستی آزمایی سیاستهای امنیتی نرم افزار با استفاده از رویکرد ماشین حالت انتزاعی :
تعداد صفحات:۱۲
چکیده:
یکی از مشکلات توصیف نرم افزار سیستمهای حساس به ایمنی توسط روشهای رسمی ـ بصری عدم توانایی این روشها در بیان دقیق وکامل سیاست های امنیتی و حالات ناامن حاکم برسیستم است از طرفی اگرچه استفاده ازروشهای رسمی ـ متنی برای توصیف این سیستم ها و نرم افزار آنها دارای دقت بالایی می باشند اما از فهم آسان مسئله می کاهد و امکان دارد برپیچیدگی های مسئله بیافزاید به نظر می رسد یکی از راهکارهای مناسب برای توصیف نرم افزاری امن برای این گونه سیستم ها بکارگیری ترکیبی مناسب از روشهای رسمی ـ بصری و روشهای رسمی ـ متنی است لذا این مقاله ترکیبی مناسب از یکروش رسمی ـ بصری روش شبکه پتری و یک روش رسمی ـ متنی روش ASM در جهت توصیف یک نرم افزار امن برای سیستمهای حساس به ایمنی ارائه میدهد برای نشان دادن کاربردی بودن ایده پیشنهادی نرم افزار یک سیستم حساس به ایمنمی بعنوان نمونه کاری در نظرگرفته می شود.
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
