اعتبارسنجی مدل های کنترل دسترسی سیاست محور با استفاده از مدل چهر Alloy
Publish place: Computer engineering and need-based research The latest achievements in information technology
Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 555
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
COMPUTER02_080
تاریخ نمایه سازی: 2 تیر 1395
Abstract:
امروزه یکی از مقولاتی که در سامانه های نرم افزاری از اهمیت ویزه ای برخوردار است کنترل دسترسی به منابع موجود می باشد. انتخاب دقیق مدل کنترل دسترسی نقش کلیدی در امنیت این سامانه ها ایفا می کند. در سیستم های نوین کنترل دسترسی، مدیریت دسترسی به منابع بر اساس سیاست هایی تعیین می شود که با توجه به خصایص درخواست کننده و همچنین خصایص منبع اجازه دسترسی صادر می گردد. در این مقاله رویکردی ارائه می گردد که سیاست های کنترل دسترسی قبل از پیاده سازی اعتبار سنجی گردند. این اعتبارسنجی با استفاده از مدل چکر Alloy صورت خواهد پذیرفت. با مدل سازی سیاست های کنترل دسترسی، علاوه بر اینکه می توان رفتار سیاست ها را در قبال درخواست های دسترسی پایش کرد، می توان تداخلات سیاست ها را نیز تشخیص و اثر الگوریتم های ترکیب سیاستها را در آنها مورد بررسی قرار داد. از نتایج این پژوهش می توان در برآورد تأثیر سیاست ها بر دسترسی کاربران به منابع بهره برد.
Keywords:
Authors
افشین رضاخانی
عضو هیئت علمی تمام وقت، دانشکده مهندسی کامپیوتر، دانشگاه آیت الله العظمی بروجردی
محمدمهدی صناعی
دانشکده مهندسی کامپیوتر، دانشگاه آیت الله العظمی بروجردی
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :