تصمیم پذیری مسئله ایمنی در سیستم حفاظتی VGBPS

Publish Year: 1385
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,352

This Paper With 8 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

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

لینک ثابت به این Paper:

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

ACCSI12_282

تاریخ نمایه سازی: 23 دی 1386

Abstract:

مسئله ایمنی ١ یکی از مسائل مهم و پی چیده عنوان شده در حوزه امنیت است . در ا ین مسئله بررس ی م ی شود که آیا موجودیت S دسترسی R را به موجودیتO پیدا خواهد کرد یا نه؟ این مسئله در مدلهای کنترل دسترسی از اهمیت ویژ ه ای برخوردار است و یک مدل کنترل دسترسیِِیِ با مسئله ایمنی تصمیم ناپذیر یاNP-Complete دارای ارزش عملی نیست. ما قبلالالالا سیستم حفاظتیِیِیِ مبتنی بر گرافِِفِ VGBPS را برای تحلیل آسیب پذیری ارائه داده ایم. درVGBPS آسیب پذیری ها و قوا نین آ نها به یک مدل کنترل دستر سی ساده و یکریخت اضافه شده اند. ا ین و یژگی باعث شده است که نشر مجاز (با توجه به مدل کنترل دسترسی) و نشر غیرمجاز (با استفاده از آسیب پذیری) حقوق در کنار هم در مدل وجود داشت ه باشند و تاثیر مستقیم ا ین دو گروه از قوا نین بر هم در مدل قابل بیان باشد. در این مدل اساس تحلیل آس یب پذ یری مسئله ا یمن ی است . ما در این مقاله تصمی م پذیری مسئله ا یمنی در مدلVGBPS را برر سی نموده و نشان م ی دهیم که مسئله ایمنی در این مدل تصمیم پذیر است . همچن ین پیچیدگی زمانی آنرا در حالت های مختلف بررسی کرده و ثابت می کنیم در حالت کلی با حقوق و قوانین ماندگار مسئله ایمنی در این مدل NP- Complete است.

Authors

محمدابراهیم رفیعی

دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر، مرکز امنیت شبکه

رسول جلیلی

عضو هیات علمی دانشگاه، دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر،