Visual System of Formal Specification and Verification of Security Policy
Yidan Zhang · Jisuanji gongcheng · 2008
This paper analyzes the possible faults in policy,formally defines the consistency and completeness of the security policy.By building the state model of security policy,the algorithm for formally verifying security policy is proposed.Based on the eXtensible Access Control Markup Language(XACML),a system to formally specify and verify the security policy is designed and implemented.This system makes the process of the formal verification automatic,and provides an efficient tool for a normal user to verify the security policy in a visual form.