Flexible Policy-Directed Code Safety.

David E. Evans Andrew Twyman

Published in: IEEE Symposium on Security and Privacy (1999)

Keyphrases

source code
database
code generation
real time
database systems
sufficient conditions
policy makers
error correcting
safety analysis
road safety