Login / Signup
ASASP: Automated Symbolic Analysis of Security Policies.
Francesco Alberti
Alessandro Armando
Silvio Ranise
Published in:
CADE (2011)
Keyphrases
</>
security policies
database
access control
data analysis