SysML-Sec Attack Graphs: Compact Representations for Complex Attacks

SysML-Sec攻擊圖：複雜攻擊的緊湊表示 摘要 我們在本文中討論瞭如何將SysML-Sec攻擊圖用作複雜攻擊的圖形和半正式表示形式。 我們舉例說明了該PC和移動惡意軟件的示例。我們還提供了在這些圖中使用的運算符表達性的示例。 最終，我們根據定時自動機正式化了這些操作員描述的攻擊蹤跡。 1 介紹 在分佈式系統中，甚至在嵌入式系統中，對安全威脅進行建模是安全分析師工作的一個常見方面。 但是，威脅分

>>阅读原文<<