Modeling human behaviour with higher order logic: insider threats

Boender, Jaap, Kammueller, Florian ORCID:, Ivanova, Marieta Georgieva and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). In: 4th Workshop on Socio-Technical Aspects in Security and Trust, 18 July 2014, Vienna Technical University, Vienna, Austria. . [Conference or Workshop Item]

Restricted to Repository staff and depositor only

Download (218kB)


In this paper, we approach the problem of modeling the human component in technical systems with a view on the difference between the use of model and theory in sociology and computer science. One aim of this essay is to show that building of theories and models for sociology can be compared to and implemented in Higher Order Logic. We validate this working hypothesis by revisiting Weber's understanding explanation. We review Higher Order Logic (HOL) as a foundation for computer science and summarize its use of theories relating it to the sociological process of logical explanation. As a case study on modeling human behaviour, we present the modeling and analysis of insider threats as a Higher Order Logic theory in Isabelle/HOL. We show how each of the three step process of sociological explanation can be seen in our modeling of insider's state, its context within an organisation and the effects on security as outcomes of a theorem proving analysis.

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 15191
Notes on copyright: Access to full text restricted pending copyright check.
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 23 Apr 2015 10:34
Last Modified: 04 Apr 2019 09:33

Actions (login required)

View Item View Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year