基于表驱动的纯软件签名错误检测算法

摘要：

针对临时性、间歇性与永久性错误的存在,处理器获取并执行一条不正确的指令将导致控制流错误的发生.为此,在研究通过软件签名的控制流检错(CFDSS)算法的基础上,基于表驱动形式,提出一种纯软件签名错误检测算法(EDSS).构建二维表(CFID),用于存储控制流图的信息,通过比较基本块中的签名和存储在CFID表中的签名检测出非法的指令跳转.对于CFDSS算法不能有效检测的共享分支扇入节点的非法指令跳转错误,可成功检测出这类错误.实验结果表明,EDSS算法的平均错误检测覆盖率比CFDSS算法高出1.3％,对具有共享分支扇入节点的检错能力平均高出约1.9％.

关键词：表驱动、软件签名、错误检测、通过软件签名的控制流检错算法、控制流图

所属期刊栏目：44

分类号：TP301.6(计算技术、计算机技术)

资助基金：上海市自然科学基金15ZR1410000

在线出版日期：2018-11-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：187-192