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

    8 Citations (Scopus)
    1 Downloads (Pure)


    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
    Number of pages20
    ISBN (Print)9783319278094
    Publication statusPublished - 25 Dec 2015

    Publication series

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


    • Socio-technical systems
    • Formal modelling
    • Analysis


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

    Cite this