Items where Author / Artist / Editor is "Hansen, Rene Rydhof"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

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.

This list was generated on Sun Oct 21 04:39:14 2018 BST.