Exploiting Generic Aspects of Security Models in Formal Developments.

Heiko Mantel Axel Schairer

Published in: Mechanizing Mathematical Reasoning (2005)

Keyphrases

generic model
prior knowledge
machine learning
statistical models
intrusion detection
model selection
domain specific
decision trees
artificial intelligence
genetic algorithm
probabilistic model
artificial neural networks
parameter estimation
complex systems
data mining
design choices
formal models