Inferring access-control policy properties via machine learning

Proceedings - Seventh IEEE International Workshop on Policies for Distributed Systems and Networks, Policy 2006

Volumn 2006, Issue , 2006, Pages 235-238

  Martin, Evan ^a   Tao, Xie ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS-CONTROL ASPECTS; POLICY DECISION POINT (PDP); POLICY LANGUAGE; POLICY VERIFICATION;

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; DATA MINING; DECISION MAKING; LEARNING SYSTEMS; PROBLEM SOLVING;

PUBLIC POLICY;

EID: 33845443343     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2006.19     Document Type: Conference Paper

References (10)

1. M. Burgess. Probabilistic anomaly detection in distributed computer networks. Science of Computer Programming, 60(1):1-26, 2006.
2. J. Cendrowska. Prism: An algorithm for inducing modular rules. International Journal of Man-Machine Studies, 27(4):349-370, 1987.
3. K. Fisler, S. Krishnamurthi, L. Meyerovich, and M. Tschantz. Verification of change-impact analysis of access-control policies. In International Conference on Software Engineering, pages 196-205, 2005.
4. G. Hughes and T. Bultan. Automated verification of access control policies. Technical Report 2004-22, Department of Computer Science, University of California, Santa Barbara, 2004.
5. D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. 8th ESEC/FSE, pages 62-73, 2001.
6. OASIS. OASIS eXtensible Access Markup Language (XACML). Published Standard, 2005.
7. Sun Microsystems. Sun's XACML Implementation. Sourceforge, 2005.
8. I. H. Witten and E. Frank. Data Mining: Practical Machine Learning Tools and Techniques. Morgan Kaufmann. 2005.
9. N. Zhang, M. Ryan, and D. P. Guelev. Synthesising verified access control systems in XACML. In Proc. 2004 ACM - workshop on Formal Methods in Security Engineering, pages 56-65, 2004.
10. N. Zhang, M. Ryan, and D. P. Guelev. Evaluating access control policies through model checking. In Proc. 8th International. Conference on Information Security, pages 446-460, September 2005.