Abstract
| Original language | English |
|---|---|
| Title of host publication | 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST) |
| Place of Publication | Los Alamitos, CA, USA |
| Publisher | IEEE |
| Pages | 31-39 |
| Number of pages | 8 |
| ISBN (Print) | 978-1-4799-7901-1 |
| DOIs | |
| Publication status | Published - Jul 2014 |
| Event | 4th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014 - Vienna, Austria Duration: 18 Jul 2014 → 18 Jul 2014 Conference number: 4 http://stast2014.uni.lu/ |
Workshop
| Workshop | 4th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014 |
|---|---|
| Abbreviated title | STAST |
| Country | Austria |
| City | Vienna |
| Period | 18/07/14 → 18/07/14 |
| Internet address |
Fingerprint
Keywords
- EC Grant Agreement nr.: FP7/318003
- IR-92343
- METIS-306089
- EC Grant Agreement nr.: FP7/2007-2013
- EWI-25223
Cite this
}
Modeling Human Behaviour with Higher Order Logic : Insider Threats. / Boender, Jaap; Ivanova, Marieta Georgieva; Kammüller, Florian; Primierio, Giuseppe.
2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). Los Alamitos, CA, USA : IEEE, 2014. p. 31-39.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Modeling Human Behaviour with Higher Order Logic
T2 - Insider Threats
AU - Boender, Jaap
AU - Ivanova, Marieta Georgieva
AU - Kammüller, Florian
AU - Primierio, Giuseppe
N1 - eemcs-eprint-25223
PY - 2014/7
Y1 - 2014/7
N2 - 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 and implemented in Higher Order Logic. We validate this working hypothesis by revisiting Weber's understanding explanation. We focus on constructive realism in the context of logical 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.
AB - 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 and implemented in Higher Order Logic. We validate this working hypothesis by revisiting Weber's understanding explanation. We focus on constructive realism in the context of logical 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.
KW - EC Grant Agreement nr.: FP7/318003
KW - IR-92343
KW - METIS-306089
KW - EC Grant Agreement nr.: FP7/2007-2013
KW - EWI-25223
U2 - 10.1109/STAST.2014.13
DO - 10.1109/STAST.2014.13
M3 - Conference contribution
SN - 978-1-4799-7901-1
SP - 31
EP - 39
BT - 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST)
PB - IEEE
CY - Los Alamitos, CA, USA
ER -