Better Logging through Formality.

Chapman Flack Mikhail J. Atallah

Published in: Recent Advances in Intrusion Detection (2000)

Keyphrases

bayesian networks
formal specification
probabilistic model
knowledge base
main memory databases
data sets
neural network
decision trees
knowledge representation
usage logs