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

سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,140

فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ISCEE14_119

تاریخ نمایه سازی: 31 مرداد 1390

چکیده مقاله:

یکی از مشکلات توصیف نرم افزار سیستمهای حساس به ایمنی توسط روشهای رسمی ـ بصری عدم توانایی این روشها در بیان دقیق وکامل سیاست های امنیتی و حالات ناامن حاکم برسیستم است از طرفی اگرچه استفاده ازروشهای رسمی ـ متنی برای توصیف این سیستم ها و نرم افزار آنها دارای دقت بالایی می باشند اما از فهم آسان مسئله می کاهد و امکان دارد برپیچیدگی های مسئله بیافزاید به نظر می رسد یکی از راهکارهای مناسب برای توصیف نرم افزاری امن برای این گونه سیستم ها بکارگیری ترکیبی مناسب از روشهای رسمی ـ بصری و روشهای رسمی ـ متنی است لذا این مقاله ترکیبی مناسب از یکروش رسمی ـ بصری روش شبکه پتری و یک روش رسمی ـ متنی روش ASM در جهت توصیف یک نرم افزار امن برای سیستمهای حساس به ایمنی ارائه میدهد برای نشان دادن کاربردی بودن ایده پیشنهادی نرم افزار یک سیستم حساس به ایمنمی بعنوان نمونه کاری در نظرگرفته می شود.

نویسندگان

امیر اسماعیلی

دانشجویان کارشناسی ارشد مهندسی نرم افزار دانشگاه آزاد اسلامی واحد ار

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • سیدمرتضی بابامیر و سعید جلیلی، "رویکردی مبتنی بر شبکه-های پتری ...
  • N. Storey, Safety Critical Computer Systems, Pearson, 10, Jul 1996 ...
  • k. Havelund, _ Rosu, :Run-Time verification:, Electronic Notes in Theatrical ...
  • G. Eason, B. Noble, and I. N. Sneddon, "On certain ...
  • R. David, H.Alla, Discrete, Continuous, and Hybrid Petri Nets, Springer, ...
  • W. Reisig, G. Balbo, M. Silva, "Petri Nets 2000- Introductory ...
  • E. Borger. "The Origins and the Development of the ASM ...
  • Martin Ouimet, Guillaume Berteau, and Kristina Controller using the Timed ...
  • نمایش کامل مراجع