Title :
An Unified Policy Specification Approach Based on Policy Primitive Language
Author :
Dai Xiangdong ; Chen Xingyuan ; Wang Yigong ; Liu Jiang
Author_Institution :
Henan Key Lab. of Inf. Security, Zhengzhou Inf. Sci. & Technol. Inst., Zhengzhou, China
Abstract :
Policy specification is a difficulty in policy-based management recently. This paper analyzes the common policy specification approaches and summarizes the definition of policy in the references. Then, we propose the concept of policy primitive language by defining that policy is a set of policy elements. Meanwhile, formalizing policy and policy primitive language, we prove the applicability of specifying policies by policy primitive language instantiation and constitute specification of policy instantiation. Finally, we specify policy primitive language instantiation of command line policy and data structure policy to verify the applicability of the approach.
Keywords :
formal languages; formal specification; formal verification; specification languages; command line policy; data structure policy; policy element; policy primitive language instantiation; policy-based management; unified policy specification; Access control; Data structures; Educational institutions; Fires; Quality of service; XML;
Conference_Titel :
Information Engineering and Computer Science (ICIECS), 2010 2nd International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-7939-9
Electronic_ISBN :
2156-7379
DOI :
10.1109/ICIECS.2010.5677811