@conference{has2016_knp,
  title = "Attack Tree Analysis for Insider Threats on the IoT using Isabelle",
  author = "Kammüller, Florian and Nurse, Jason R.C. and Probst, Christian W.",
  year = "2016",
  booktitle = "International Conference on Human Aspects of Information Security, Privacy and Trust at the 18th International Conference on Human-Computer Interaction (HCI)",
  pages = "234-246",
  publisher = "Springer",
  doi = "10.1007/978-3-319-39381-0_21",
}