DocumentCode
1888794
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
fYear
2010
fDate
25-26 Dec. 2010
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Engineering and Computer Science (ICIECS), 2010 2nd International Conference on
Conference_Location
Wuhan
ISSN
2156-7379
Print_ISBN
978-1-4244-7939-9
Electronic_ISBN
2156-7379
Type
conf
DOI
10.1109/ICIECS.2010.5677811
Filename
5677811
Link To Document