ASASP: Automated Symbolic Analysis of Security Policies