افشین رضاخانی - عضو هیئت علمی تمام وقت، دانشکده مهندسی کامپیوتر، دانشگاه آیت الله العظمی بروجردی
محمدمهدی صناعی - دانشکده مهندسی کامپیوتر، دانشگاه آیت الله العظمی بروجردی

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

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