Transformational typing and unification for automatically correcting insecure programs.

Boris Köpf Heiko Mantel

Published in: Int. J. Inf. Sec. (2007)

Keyphrases

automatically generated
higher order
real time
databases
neural network
machine learning
case study
error rate
user defined
answer sets
computer programs
secret key
automatic programming