利用加权攻击图加强物联网网络中的网络安全

利用加权攻击图加强物联网网络中的网络安全

1大纲背景攻击图（最短）攻击轨迹利用SAT进行网络加固2物联网现状物联网设备无处不在13.15B1在线且数量还在增加智能家居、智慧城市、互联医疗……3物联网网络安全未打补丁的物联网设备仍然存在安全漏洞Mirai僵尸网络（约2016年）智能摄像头2AlexaEcho3我们如何系统地研究物联网网络中的漏洞利用？4攻击图逻辑攻击图4可以表示系统中的安全状况及其关系。一个包含四个基本要素的有向图原始

事实节点，

又称

常量1派生

事实节点，

又称

“或”节点规则节点

，又称

“与”节点“取决于”

关系5玩具示例原因开发开发控制控制6攻击图–示例智能恒温器

存在漏洞

CVE-2022-10000远程攻击者者发起

攻击

通过互联网者可以设置

温度。者设置温度智能恒温器

存在室内温度85华氏度（其他恶意活动）智能加热器存在漏洞CVE-2020-12345者发起

攻击

通过互联网攻击者可以打开

加热器智能加热器

存在者打开

加热器目标节点7攻击轨迹在复杂的攻击图中，攻击者可能有多种选择。攻击轨迹5有助于我们更好地了解攻击者可能采取的路径。8攻击跟踪-定义

9攻击跟踪示例智能恒温器

存在漏洞

CVE-2022-10000网络攻击者者发起

攻击

通过互联网者可以设置

温度。者设置温度智能恒温器

存在室内温度85华氏度智能加热器存在漏洞CVE-2020-12345者发起

攻击

通过互联网攻击者可以打开

加热器智能加热器

存在者打开

加热器10攻击高度轨迹

11攻击轨迹高度示例智能恒温器

存在漏洞

CVE-2022-10000网络攻击者者发起

攻击

通过互联网者可以设置

温度。者设置温度智能恒温器

存在室内温度85华氏度智能加热器存在漏洞CVE-2020-12345者发起

攻击

通过互联网攻击者可以打开

加热器智能加热器

存在者打开

加热器身高：4身高：4两者都可以被视为SAT12加权攻击图我们可以将攻击图概括为给每个节点和/或每条边赋予权重6。权重可以用来表示攻击难度、所需时间、所需资源等。即使在加权情况下，仍然可以找到攻击痕迹。13加权攻击图中的SAT–示例智能恒温器

存在漏洞

CVE-2022-10000网络攻击者者发起

攻击

通过互联网者可以设置

温度。者设置温度智能恒温器

存在室内温度85华氏度智能加热器存在漏洞CVE-2020-12345者发起

攻击

通过互联网攻击者可以打开

加热器智能加热器

存在者打开

加热器0000251010012身高：7身高：14左侧攻击轨迹是SAT14网络加固SAT可以指出攻击者实现其目标的最简单方法反之，当我们考虑加固网络时，如果不加固SAT中的节点/边，这项工作将是徒劳的。我们还需要考虑这些加固措施的成本。15网络加固示例智能恒温器

存在漏洞

CVE-2022-10000网络攻击者者发起

攻击

通过互联网者可以设置

温度。者设置温度智能恒温器

存在室内温度85华氏度智能加热器存在漏洞CVE-2020-12345者发起

攻击

通过互联网攻击者可以打开

加热器智能加热器

存在者打开

加热器000025101001210（成本20）5（成本5）3（成本5）如果我们预算充足……

我们可以把它们全部硬化！如果预算=20最后两个选项反而

更有价值。如果预算=5中间选项

性价比最高16其他考虑因素