راستی آزمایی سیاستهای امنیتی نرم افزار با استفاده از رویکرد ماشین حالت انتزاعی
Publish place: 14th Iranian Student Conference on Electrical Engineering
Publish Year: 1390
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,146
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCEE14_119
تاریخ نمایه سازی: 31 مرداد 1390
Abstract:
یکی از مشکلات توصیف نرم افزار سیستمهای حساس به ایمنی توسط روشهای رسمی ـ بصری عدم توانایی این روشها در بیان دقیق وکامل سیاست های امنیتی و حالات ناامن حاکم برسیستم است از طرفی اگرچه استفاده ازروشهای رسمی ـ متنی برای توصیف این سیستم ها و نرم افزار آنها دارای دقت بالایی می باشند اما از فهم آسان مسئله می کاهد و امکان دارد برپیچیدگی های مسئله بیافزاید به نظر می رسد یکی از راهکارهای مناسب برای توصیف نرم افزاری امن برای این گونه سیستم ها بکارگیری ترکیبی مناسب از روشهای رسمی ـ بصری و روشهای رسمی ـ متنی است لذا این مقاله ترکیبی مناسب از یکروش رسمی ـ بصری روش شبکه پتری و یک روش رسمی ـ متنی روش ASM در جهت توصیف یک نرم افزار امن برای سیستمهای حساس به ایمنی ارائه میدهد برای نشان دادن کاربردی بودن ایده پیشنهادی نرم افزار یک سیستم حساس به ایمنمی بعنوان نمونه کاری در نظرگرفته می شود.
Keywords:
Authors
امیر اسماعیلی
دانشجویان کارشناسی ارشد مهندسی نرم افزار دانشگاه آزاد اسلامی واحد ار
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :