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 proceedingConference contributionAcademicpeer-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 languageEnglish
    Title of host publication2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST)
    Place of PublicationLos Alamitos, CA, USA
    PublisherIEEE
    Pages31-39
    Number of pages8
    ISBN (Print)978-1-4799-7901-1
    DOIs
    Publication statusPublished - Jul 2014
    Event4th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014 - Vienna, Austria
    Duration: 18 Jul 201418 Jul 2014
    Conference number: 4
    http://stast2014.uni.lu/

    Workshop

    Workshop4th Workshop on Socio-Technical Aspects in Security and Trust, STAST 2014
    Abbreviated titleSTAST
    CountryAustria
    CityVienna
    Period18/07/1418/07/14
    Internet address

    Fingerprint

    Computer science
    Theorem proving

    Keywords

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

    Cite this

    Boender, J., Ivanova, M. G., 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) (pp. 31-39). Los Alamitos, CA, USA: IEEE. https://doi.org/10.1109/STAST.2014.13
    Boender, Jaap ; Ivanova, Marieta Georgieva ; Kammüller, Florian ; Primierio, Giuseppe. / Modeling Human Behaviour with Higher Order Logic : Insider Threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). Los Alamitos, CA, USA : IEEE, 2014. pp. 31-39
    @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",
    year = "2014",
    month = "7",
    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",

    }

    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 proceedingConference contributionAcademicpeer-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 -

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