Formal Modelling and Analysis of Socio-Technical Systems
Title | Formal Modelling and Analysis of Socio-Technical Systems |
Publication Type | Book Chapter |
Year of Publication | 2015 |
Authors | Probst C.W, Kammüller F., R. Hansen R |
Editor | Probst C.W, Hankin C., R. Hansen R |
Book Title | Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays |
Series Title | Lecture Notes in Computer Science |
Volume | 9560 |
Pagination | 54–73 |
Publisher | Springer Verlag |
City | Berlin |
ISBN | 0302-9743 |
Keywords | analysis, Formal Modelling, Socio-Technical Systems |
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. |
DOI | 10.1007/978-3-319-27810-0_3 |