1. Specifying Flexible Features in Authorization Using Logic Program
- Author
-
Mingsheng Zhang, Yuanpu Wang, and Xinqiang Ma
- Subjects
Database ,Computer science ,Semantics (computer science) ,Programming language ,business.industry ,Computation ,Authorization ,Access control ,computer.software_genre ,Technology management ,Logic program ,Rule of inference ,business ,computer ,Logic programming - Abstract
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.
- Published
- 2010
- Full Text
- View/download PDF