Formal Modelling and Analysis of Socio-Technical Systems

Christian W. Probst*, Florian Kammüller, René Rydhof Hansen

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    5 Citations (Scopus)

    Abstract

    Attacks on systems and organisations increasingly exploit human actors, for example through social engineering. This non-technical aspect of attacks complicates their formal treatment and automatic identification. Formalisation of human behaviour is difficult at best, and attacks on socio-technical systems are still mostly identified through brainstorming of experts. In this work we discuss several approaches to formalising socio-technical systems and their analysis. Starting from a flow logic-based analysis of the insider threat, we discuss how to include the socio aspects explicitly, and show a formalisation that proves properties of this formalisation. On the formal side, our work closes the gap between formal and informal approaches to socio-technical systems. On the informal side, we show how to steal a birthday cake from a bakery by social engineering.
    Original languageEnglish
    Title of host publicationSemantics, Logics, and Calculi
    Subtitle of host publicationEssays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
    EditorsChristian W. Probst, Chris Hankin, René Rydhof Hansen
    Place of PublicationBerlin
    PublisherSpringer
    Pages54-73
    Number of pages20
    ISBN (Print)9783319278094
    DOIs
    Publication statusPublished - 25 Dec 2015

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume9560
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • Socio-technical systems
    • Formal modelling
    • Analysis

    Fingerprint Dive into the research topics of 'Formal Modelling and Analysis of Socio-Technical Systems'. Together they form a unique fingerprint.

  • Cite this

    Probst, C. W., Kammüller, F., & Rydhof Hansen, R. (2015). Formal Modelling and Analysis of Socio-Technical Systems. In C. W. Probst, C. Hankin, & R. Rydhof Hansen (Eds.), Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (pp. 54-73). (Lecture Notes in Computer Science; Vol. 9560). Berlin: Springer. https://doi.org/10.1007/978-3-319-27810-0_3