اعتبار سنجی مدلهای کنترل دسترسی سیاست محور با استفاده از مدل چهر Alloy

امروزه یکی از مقولاتی که در سامانه های نرم افزاری از اهمیت ویژه ای برخوردار است کنترل دسترسی به منابع موجود می باشد. انتخاب دقیق مدل کنترل دسترسی نقش کلیدی در امنیت این سامانه ها ایفا می کند. در سیستم های نوین کنترل دسترسی ، مدیریت دسترسی به منابع بر اساس سیاست هایی تعیین می شود که با توجه به خصایص درخواست کننده و همچنین خصایص منبع اجازه دسترسی صادر می گردد. در این مقاله رویکردی ارایه می گردد که سیاستهای کنترل دسترسی قبل از پیاده سازی اعتبارسنجی گردند. این اعتبارسنجی با استفاده از مدل چکر Alloy صورت خواهد پذیرفت. با مدل سازی سیاستهای کنترل دسترسی ، علاوه بر اینکه می توان رفتار سیاستها را در قبال درخواست های دسترسی پایش کرد، می توان تداخلات سیاستها را نیز تشخیص و اثر الگوریتم های ترکیب سیاستها را در آنها مورد بررسی قرار داد. از نتایج این پژوهش می توان در برآورد تاثیر سیاستها بر دسترسی کاربران به منابع بهره برد.

کلیدواژه ها:

کنترل دسترسی ، مدل چکر Alloy ، سیاست های کنترل دسترسی