A Logic-Based Authorization Framework And Implementation

Mingsheng Zhang,Xinqiang Ma,Mingyi Zhang

2009-01-01

Abstract:In access control, it is a reasonable requirement that authorization mechanism can be implemented intelligently by logic programs. We propose an authorization framework based on logic programs, ranging from design, analysis, and implementation. Our proposed framework is powerful and useful, with RBAC features, flexible authorization, logic-based formalization and integration of policies. It can specify complex security requirements in real world, and facilitate many advantage aspects held by the some prevailing authorization theories.