基本信息

---

下载

文档摘要

---

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

1

大纲

背景

攻击图

（最短）攻击轨迹

利用SAT进行网络加固

2

物联网现状

物联网设备无处不在

13.15B1在线且数量还在增加

智能家居、智慧城市、互联医疗……

3

物联网网络安全

未打补丁的物联网设备仍然存在安全漏洞

Mirai僵尸网络（约2016年）

智能摄像头2

AlexaEcho3

我们如何系统地研究物联网网络中的漏洞利用？

4

攻击图

逻辑攻击图4可以表示系统中的安全状况及其关系。

一个包含四个基本要素的有向图

原始

事实节点，

又称

常量1

派生

事实节点，

又称

“或”节点

规则节点

，又称

“与”节点

“取决于”

关