Attack Tree Analysis for Insider Threats on the IoT Using Isabelle.

Florian Kammüller Jason R. C. Nurse Christian W. Probst

Published in: HCI (20) (2016)

Keyphrases

data analysis
management system
statistical analysis
index structure
countermeasures
data sets
information systems
decision trees
image analysis
web applications
data acquisition