《表1 程序代码Ⅰ依赖关系的邻接矩阵及节点指令信息》
为了进一步对节点的信息流进行检测,可以通过PDG或者SDG对应依赖关系的邻接矩阵对数据处理程序的行为进行度量和验证,以确保数据输入和输出的安全。在PDG或SDG中,通过对所有节点的分析可以知道信息流在各节点的传递情况,得到各节点的依赖关系,由此可以画出相应基于依赖关系的邻接矩阵。程序代码Ⅰ依赖关系的邻接矩阵如表1所示,被攻击更改后的程序代码Ⅱ依赖关系的邻接矩阵如表2所示。
图表编号 | XD00173686900 严禁用于非法目的 |
---|---|
绘制时间 | 2020.08.24 |
作者 | 陈璐、柯文彬、张立强、陈云 |
绘制单位 | 海军工程大学信息安全系、海军工程大学信息安全系、武汉大学国家网络安全学院、武汉大学苏州研究院、海军工程大学信息安全系 |
更多格式 | 高清、无水印(增值服务) |