Items where Author / Artist / Editor is "Hansen, Rene Rydhof"
 | See full list of headings |
Book Section
Probst, Christian and Kammueller, Florian and Hansen, Rene Rydhof (2016) Formal modelling and analysis of socio-technical systems. In: Semantics, Logics, and Calculi. Springer International.
Conference or Workshop Item
Ivanova, Marieta Georgieva and Probst, Christian and Hansen, Rene Rydhof and Kammueller, Florian (2016) Transforming graphical system models to graphical attack models. In: 2nd International Workshop on Graphical Models for Security, GraMSec 2015, co-located with CSF2015, 13 Jul 2015, Verona, Italy.
Ivanova, Marieta Georgieva and Probst, Christian and Hansen, Rene Rydhof and Kammueller, Florian (2015) Attack tree generation by policy invalidation. In: 9th WISTP International Conference on Information Security Theory and Practice (WISTP 2015), 24-25 Aug 2015, Heraklion, Crete, Greece.
