Login / Signup
A Security Domain Model for Static Analysis and Verification of Software Programs.
Alan B. Shaffer
Published in:
SEKE (2008)
Keyphrases
</>
static analysis
high level
source code
security model
databases
intrusion detection
software systems