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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Graph-Transformational Threat Modeling

  • Lars Friederichs,
  • Aaron Lye

摘要

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.