Specifying Flexible Features in Authorization Using Logic Program

Flexible authorizations are an important problem in current access controls. On the basis of the analysis of access control mechanisms, the flexible features in authorization are proposed and summarized. By several cases, the flexible authorizations are specified using the logic rules, and it is shown that the structural features of logic programs can specify the responding properties of security requirements, at the same time, also determine the semantics computation of the logic programs.