[翻译]应用模型检验自动生成攻击图的基本思想

译文作者：chenabc5772
信息来源：邪恶八进制信息安全团队（www.eviloctal.com）

在攻击大型复杂网络时，每个主机或多或少存在着某些弱点，如何综合利用他们的弱点，采取怎样的攻击路径是一个复杂的问题。
美国redteam一般都手动生成攻击图，本文提供了一种自动生成攻击图的方法，
译自：Minimization and Reliability Analyses of Attack Graphs，作者来自于Carnegie Mellon University。

附有原稿和英文稿。（为原创翻译，请勿转载）
Minimization and Reliability Analyses of Attack Graphs.rar (289.24 KB)
应用模型检验自动生成攻击图的基本思想.rar (194.26 KB)