DocumentCode
514581
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
Volume
1
fYear
2010
fDate
6-7 March 2010
Firstpage
578
Lastpage
581
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ETCS.2010.116
Filename
5458543
Link To Document