An Approach to Automated Verification of Multi-Level Security System Models.

Andrzej Stasiak Zbigniew Zielinski

Published in: DepCoS-RELCOMEX (2013)

Keyphrases

automated verification
prior knowledge
machine learning
access control
model selection
intrusion detection
database
data sets
artificial neural networks
wireless sensor networks
complex systems
statistical model
graph theory
security issues
security level