Scalable Attack Representation Model Using Logic Reduction Techniques.

Jin Bum Hong Dong Seong Kim Tadao Takaoka

Published in: TrustCom/ISPA/IUCC (2013)

Keyphrases

mathematical model
high level
probabilistic model
computational model
prior knowledge
theoretical framework
formal model
neural network
genetic algorithm
knowledge base
objective function
input data
logical formulas