Graph-Transformational Threat Modeling
摘要
Many well-established threat modeling approaches use graphs as underlying structures. However, the formalism of graph-transformation is not applied. In this paper, we propose a graph-transformational approach to threat modeling. We take a more detailed look at a transformation from attack-defense trees to stochastic games. This leads us to further research questions that we believe are suitable to be answered in the language of graph transformations.