Modeling Human Behaviour with Higher Order Logic: Insider Threats

Jaap Boender; Marieta Georgieva Ivanova; Florian Kammüller; Giuseppe Primierio

doi:10.1109/STAST.2014.13

Modeling Human Behaviour with Higher Order Logic: Insider Threats

Jaap Boender, Marieta Georgieva Ivanova, Florian Kammüller, Giuseppe Primierio

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

Abstract

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.

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	https://doi.org/10.1109/STAST.2014.13
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	http://stast2014.uni.lu/

Keywords

EC Grant Agreement nr.: FP7/318003
IR-92343
METIS-306089
EC Grant Agreement nr.: FP7/2007-2013
EWI-25223

Access to Document

10.1109/STAST.2014.13

Fingerprint Dive into the research topics of 'Modeling Human Behaviour with Higher Order Logic: Insider Threats'. Together they form a unique fingerprint.

Cite this

@inproceedings{e7bc0023327c4e318e57ca01779a84fb,

title = "Modeling Human Behaviour with Higher Order Logic: Insider Threats",

abstract = "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.",

keywords = "EC Grant Agreement nr.: FP7/318003, IR-92343, METIS-306089, EC Grant Agreement nr.: FP7/2007-2013, EWI-25223",

author = "Jaap Boender and Ivanova, {Marieta Georgieva} and Florian Kamm{\"u}ller and Giuseppe Primierio",

note = "eemcs-eprint-25223 ; 4th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014, STAST ; Conference date: 18-07-2014 Through 18-07-2014",

year = "2014",

month = jul,

doi = "10.1109/STAST.2014.13",

language = "English",

isbn = "978-1-4799-7901-1",

pages = "31--39",

booktitle = "2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST)",

publisher = "IEEE",

address = "United States",

url = "http://stast2014.uni.lu/",

}

Boender, J, Ivanova, MG, Kammüller, F & Primierio, G 2014, Modeling Human Behaviour with Higher Order Logic: Insider Threats. in 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). IEEE, Los Alamitos, CA, USA, pp. 31-39, 4th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014, Vienna, Austria, 18/07/14. https://doi.org/10.1109/STAST.2014.13

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 - 4th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014

AU - Boender, Jaap

AU - Ivanova, Marieta Georgieva

AU - Kammüller, Florian

AU - Primierio, Giuseppe

N1 - Conference code: 4

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

Y2 - 18 July 2014 through 18 July 2014

ER -