Title :
Flexible Authorizations with Logic Program
Author :
Zhang, Mingsheng ; Chen, Wu ; Wang, Yisong ; Zhang, Mingyi
Author_Institution :
Sch. of Econ. & Manage., Guizhou Univ. for Nat., Guiyang
Abstract :
Flexible authorization is a significant research realm in pervasive computing. Logic program is a worthy approach for expressing and reasoning flexible authorization not only in theory but also in practice. This paper mainly focuses on specifying flexible authorization policies using logic programs. The features of the flexible authorizations are analyzed. The conflicts resolution and dynamic authorization based on LPOD (Logic Program with Ordered Disjunction) are studied.
Keywords :
authorisation; logic programming; ubiquitous computing; flexible authorization policies; logic program; ordered disjunction; pervasive computing; Access control; Authorization; Computer network management; Computer networks; Computer security; Information security; Logic programming; National security; Pervasive computing; Wireless communication; conflict resolution; dynamic authorization; flexible authorization; logic program;
Conference_Titel :
Networks Security, Wireless Communications and Trusted Computing, 2009. NSWCTC '09. International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-1-4244-4223-2
DOI :
10.1109/NSWCTC.2009.9
