Machine Learning and Formal Methods for Privacy and Security: Learning and Analysis of Access Control Policies