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

Book Section

Probst, Christian, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Hansen, Rene Rydhof (2016) Formal modelling and analysis of socio-technical systems. In: Semantics, Logics, and Calculi. Springer International. . [Book Section]

Conference or Workshop Item

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, Rene Rydhof and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2016) Transforming graphical system models to graphical attack models. Graphical Models for Security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. In: 2nd International Workshop on Graphical Models for Security, GraMSec 2015, co-located with CSF2015, 13 Jul 2015, Verona, Italy. ISBN 9783319299679. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-29968-6_6)

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, Rene Rydhof and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2015) Attack tree generation by policy invalidation. Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. In: 9th WISTP International Conference on Information Security Theory and Practice (WISTP 2015), 24-25 Aug 2015, Heraklion, Crete, Greece. ISBN 9783319240176. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-24018-3_16)