Evaluating role based authorization programs

In this paper, we discuss a role based authorization program and its implementation. A role based authorization program (RBAP) is a logic based framework which enables users to describe complex access control policies in a decentralized system. It supports administrative privilege delegations for both roles and access rights. The program SMODELS is a widely used system that implements the answer set semantics for extended logic programs. In this paper, we show how to use SMODELS to evaluate RBAP. The access control policy is also given.