Machine Learning-Based Security Policy Analysis