Title :
Specifying Flexible Features in Authorization Using Logic Program
Author :
Zhang, Mingsheng ; Wang, Yuanpu ; Ma, Xinqiang
Author_Institution :
Sch. of Econ. & Manage., Guizhou Univ. for Nat., Guiyang, China
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.
Keywords :
authorisation; logic programming; access controls; flexible authorizations; logic program; security requirements; Access control; Art; Authorization; Computer science; Computer science education; Educational programs; Educational technology; Logic programming; Power system security; Technology management; access control; authorization specification; flexible features; logic program;
Conference_Titel :
Education Technology and Computer Science (ETCS), 2010 Second International Workshop on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-6388-6
Electronic_ISBN :
978-1-4244-6389-3
DOI :
10.1109/ETCS.2010.116
