SysML-Sec Attack Graphs: Compact Representations for Complex Attacks

SysML-Sec攻击图:复杂攻击的紧凑表示 摘要 我们在本文中讨论了如何将SysML-Sec攻击图用作复杂攻击的图形和半正式表示形式。 我们举例说明了该PC和移动恶意软件的示例。我们还提供了在这些图中使用的运算符表达性的示例。 最终,我们根据定时自动机正式化了这些操作员描述的攻击踪迹。 1 介绍 在分布式系统中,甚至在嵌入式系统中,对安全威胁进行建模是安全分析师工作的一个常见方面。 但是,威胁分
相关文章
相关标签/搜索