Practical automated vulnerability monitoring using program state invariants.

Cristiano Giuffrida Lorenzo Cavallaro Andrew S. Tanenbaum

Published in: DSN (2013)

Keyphrases

semi automated
real world
real time
databases
monitoring system
database
artificial intelligence
knowledge base
high level
imperative programs