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

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

کلیدواژه ها:

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