Login / Signup
Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications.
Adam Chlipala
Published in:
OSDI (2010)
Keyphrases
</>
security policies
database
access control
databases
relational databases
database management systems
query language
database systems
distributed systems
security requirements
data management
network security
security management
real world
database applications