توصیف و تحلیل سیاست های امنیتی با روش منطق توصیفیALCQI(D
Publish place: 11th Annual Conference of Computer Society of Iran
Publish Year: 1384
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,095
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI11_159
تاریخ نمایه سازی: 5 آذر 1390
Abstract:
منطق توصیفی دانش است که علاوه بر دارا بودن قدرت بیان بالا، تصمیم پذیر است. م ا برای توصیف و ALCQI(D در این مقاله روشی رسمی بر اساس تحلیل سیاست های امنیتی ارائه کرده ایم که در آن سیاست ها شامل سیاست های التزام، اختیار و تفویض اختیار است و می توان بر اساس توصیف سیاست ها، انواع تعارض های قیدی و تعارض های خاص کاربرد بین سیاست ها را شناسایی و با اختصاص اولویت به سیاست ها، تعارض بین آنها را رفع نمود. این روش انعطاف پذیری، سادگی و گسترش پذیری بالایی دارد و می تواند برای توصیف و تحلیل گستره وسیعی از سیاست های امنیتی بکار گرفته شود. همچنین زیرساخت های فراهم شده در منطق توصیفی امکان ساختاردهی به سیاست ها، گروه بندی سیاست ها، نقش ها، موجودیت ها و اشیاء را مهیا ساخته است. دراینروش امکان تشخیص سیاست های افزونه و بررسی همپوشانی سیاست ه ا با بکارگیری استنتاج های منطق توصیفی نظیر روابط شمول 2 بین مفاهیم و بررسی اشتراک ناپذیری مفاهیم وجود دارد
Keywords:
Authors
سعید جلیلی
دانشگاه تربیت مدرس،گروه مهندسی کامپیوتر
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :