Login / Signup
Idea: Simulation Based Security Requirement Verification for Transaction Level Models.
Johannes Loinig
Christian Steger
Reinhold Weiss
Ernst Haselsteiner
Published in:
ESSoS (2011)
Keyphrases
</>
probabilistic model
neural network
data mining
prior knowledge
intrusion detection
parameter estimation
statistical models
information security
database
model selection
experimental data
model checking
security systems
security level