Formal modeling of vulnerability.

William L. Fithen Shawn V. Hernan Paul F. O'Rourke David A. Shinberg

Published in: Bell Labs Tech. J. (2004)

Keyphrases

databases
database systems
formal model
real world
wide range
formal models
data sets
machine learning
genetic algorithm
multimedia
website
expert systems
formal specification
formal methods
dynamic aspects