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.
Georgieva Ivanova, Marieta and Hansen, Rene Rydhof and Kammueller, Florian and Probst, Christian (2015) Attack tree generation by policy invalidation. In: 9th WISTP International Conference on Information Security Theory and Practice (WISTP'2015). Springer. (Accepted/In press)
Georgieva Ivanova, Marieta and Probst, Christian and Hansen, Rene Rydhof and Kammueller, Florian (2015) Transforming graphical system models to graphical attack models. In: The Second International Workshop on Graphical Models for Security, GraMSec'15, co-located with CSF2015. LNCS . Springer. (Accepted/In press)
