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
Jump to: Book Section
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.

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)

This list was generated on Fri Aug 17 04:40:12 2018 BST.