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

Florian Kammller, Jason R. C. Nurse, Christian W. Probst

Browse the full HCI paper archive.