Formal modelling and analysis of socio-technical systems

DOI10.1007/978-3-319-27810-0_3MaRDI QIDQ2796216zbMATH OpenOpenAlexFDO

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

Publication date 23 March 2016

Published in Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL https://backend.orbit.dtu.dk/ws/files/127220612/festschriftInsider.pdf

zbMATH Keywords

attack tree generationbirthday cakesocial engineerssocio-technical systemstuple space

Mathematics Subject Classification ID

Social and behavioral sciences: general topics (91C99)

Recommendations

• Attack-defense trees
• Usage formal models for vulnerability analysis
• Information Security and Cryptology - ICISC 2005
• Towards modelling adaptive attacker's behaviour
• Threat scenarios as a means to formally develop secure systems

Cited in

(1)

• A critical assessment of the modern sociotechnical approach within production and operations management

This page was built for publication: Formal modelling and analysis of socio-technical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2796216)