• 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