Modeling and Verification of Insider Threats Using Logical Analysis.

Florian Kammüller Christian W. Probst

Published in: IEEE Syst. J. (2017)

Keyphrases

data analysis
image analysis
statistical modeling
formal analysis
database
genetic algorithm
case study
expert systems
anomaly detection
quantitative analysis
structural analysis