راستی آزمایی سیاستهای امنیتی نرم افزار با استفاده از رویکرد ماشین حالت انتزاعی
محل انتشار: چهاردهمین کنفرانس دانشجویی مهندسی برق کشور
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,140
فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCEE14_119
تاریخ نمایه سازی: 31 مرداد 1390
چکیده مقاله:
یکی از مشکلات توصیف نرم افزار سیستمهای حساس به ایمنی توسط روشهای رسمی ـ بصری عدم توانایی این روشها در بیان دقیق وکامل سیاست های امنیتی و حالات ناامن حاکم برسیستم است از طرفی اگرچه استفاده ازروشهای رسمی ـ متنی برای توصیف این سیستم ها و نرم افزار آنها دارای دقت بالایی می باشند اما از فهم آسان مسئله می کاهد و امکان دارد برپیچیدگی های مسئله بیافزاید به نظر می رسد یکی از راهکارهای مناسب برای توصیف نرم افزاری امن برای این گونه سیستم ها بکارگیری ترکیبی مناسب از روشهای رسمی ـ بصری و روشهای رسمی ـ متنی است لذا این مقاله ترکیبی مناسب از یکروش رسمی ـ بصری روش شبکه پتری و یک روش رسمی ـ متنی روش ASM در جهت توصیف یک نرم افزار امن برای سیستمهای حساس به ایمنی ارائه میدهد برای نشان دادن کاربردی بودن ایده پیشنهادی نرم افزار یک سیستم حساس به ایمنمی بعنوان نمونه کاری در نظرگرفته می شود.
کلیدواژه ها:
نویسندگان
امیر اسماعیلی
دانشجویان کارشناسی ارشد مهندسی نرم افزار دانشگاه آزاد اسلامی واحد ار
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :