芭芭拉·科尔迪;绍克·莫;萨沙拉多米罗维奇;帕特里克·施韦策 攻击防御树。 (英语) Zbl 1311.68062号 J.日志。计算。 24,第1期,55-87(2014). 摘要:攻击防御树是一种用于图形安全建模和评估的新方法。他们通过允许代表防御措施的节点出现在树的任何级别,扩展了攻击树的众所周知的形式。这扩大了攻击树的建模能力,并使新的形式主义适用于表示攻击者和防御者之间的交互。我们的形式化支持我们提供使用场景的不同语义方法。我们还形式化了如何使用属性定量分析攻击和防御场景。 引用于1审查引用于8文件 MSC公司: 第68页第25页 数据加密(计算机科学方面) 94A62型 身份验证、数字签名和秘密共享 关键词:攻击防御树;攻击树;安全评估;语义学;对策;属性;完备公理集 软件:第三方数据库;RRE公司;J工具;蒂罗尔(Tyrolean) PDF格式BibTeX公司 XML格式引用 \textit{B.Kordy}等人,J.Log。计算。24、1号、55--87(2014;Zbl 1311.68062) 全文: 内政部 链接