Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primiero. Modeling Human Behaviour with Higher Order Logic: Insider Threats. In Giampaolo Bella, Gabriele Lenzini, editors, 2014 Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014, Vienna, Austria, July 18, 2014. pages 31-39, IEEE Computer Society, 2014. [doi]
Abstract is missing.