Model checking based security policy verification and validation

Proceedings - 2010 2nd International Workshop on Intelligent Systems and Applications, ISA 2010

Volumn , Issue , 2010, Pages

  Ma, Jianli ^a   Zhang, Dongfang ^a   Xu, Guoai ^a   Yang, Yixian ^a  

^a BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

Author keywords

Model checking; Security policy; Validation; Verification

Indexed keywords

INFORMATION SYSTEM SECURITY; LTL FORMULAE; MODEL CHECKER; SECURITY MECHANISM; SECURITY POLICY; SYSTEM REQUIREMENTS; TRANSFER STRUCTURE; VALIDATION; VALIDATION AND VERIFICATION;

INFORMATION SYSTEMS; INTELLIGENT SYSTEMS; MATHEMATICAL MODELS; SECURITY SYSTEMS;

MODEL CHECKING;

EID: 77954389787     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWISA.2010.5473291     Document Type: Conference Paper

References (9)

1. S. Ehab. AL-Shaer and H. H. hamed, "Firewall Policy Advisor for Anomaly Discovery and Rule Editing", Proc. of IM, 2003, pp.17-30.
2. th International Workshop on Policies for Distributed Systems and Networks, 2003, pp.26-39.
3. Michael J. May, Carl A. Gunter, and Insup Lee, "Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies", Proc. of CSFW, 2006, pp.85-97.
4. Arosha Bandara, Emil Lupu and Alessandra Russo, "Using Event Calculus to Formalise Policy Specification and Analysis", POLICY'03, IEEE, 2003, pp.26-39.
5. Javier Rubio-Loyola et al, "Using Linear Temporal Model Checking for Goal Oriented Policy Refinement Frameworks" , POLICY'05, IEEE 2005, pp.181-190.
6. Angus Graham et al, "Incremental Validation of Policy-Based Systems", POLICY'04, IEEE 2004, pp.240-249.
7. Javier Baliosan and Joan Serrat, "Finite State Transducers for Policy Eevaluation and Conflict Resolution", POLICY'04 IEEE 2004, pp.250-259.
8. st IEEE Symposium on Logic in Computer Science, 1986, pp.332-344.
9. E. ClarkeJr., O. Grumberg, and D. peled, "Model Checking", MIT Press, 2000.