Login / Signup
Types and Abstract Interpretation for Authorization Hook Advice.
Christian Skalka
David Darais
Trent Jaeger
Frank Capobianco
Published in:
CSF (2020)
Keyphrases
</>
abstract interpretation
termination analysis
access control
static analysis
database systems
active rules