Florian Kammüller, Jason R. C. Nurse, Christian W. Probst. Attack Tree Analysis for Insider Threats on the IoT Using Isabelle. In Theo Tryfonas, editor, Human Aspects of Information Security, Privacy, and Trust - 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings. Volume 9750 of Lecture Notes in Computer Science, pages 234-246, Springer, 2016. [doi]
Abstract is missing.