作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程

• 安全技术 • 上一篇    下一篇

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

陈建 1,沈潇军 1,姚一杨 1,邢雅菲 2,琚小明 2   

  1. (1.国家电网浙江省电力公司信息通信分公司,杭州 310007; 2.华东师范大学 计算机科学与软件工程学院,上海 200062)
  • 收稿日期:2017-03-15 出版日期:2018-04-15 发布日期:2018-04-15
  • 作者简介:陈建(1965—),男,教授级高级工程师,主研方向为信息安全;沈潇军,工程师;姚一杨,高级工程师;邢雅菲,硕士研究生;琚小明,博士。
  • 基金资助:

    上海市自然科学基金(15ZR1410000)。

Error Detection Algorithm for Pure Software Signature Based on Table-driven

CHEN Jian 1,SHEN Xiaojun 1,YAO Yiyang 1,XING Yafei 2,JU Xiaoming 2   

  1. (1.Information and Communication Branch,State Grid Zhejiang Electric Power Company,Hangzhou 310007,China; 2.School of Computer Science and Software Engineering,East China Normal University,Shanghai 200062,China)
  • Received:2017-03-15 Online:2018-04-15 Published:2018-04-15

摘要:

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

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

Abstract:

For the presence of temporary,intermittent,and permanent errors,the processor capturing and executing an incorrect instruction will cause a control flow error to occur.This paper proposes a pure Error Detection of Software Signature(EDSS) algorithm based on table-driven with the study of Controlled Flow Detection by Software Signature(CFDSS) algorithm.It constructs two-dimensional table CFID to store the information of the control flow graph,and the illegal instruction jump is detected by comparing the signatures in the basic block with the signature stored in the CFID table.The EDSS algorithm can detect such errors successfully for the illegal branch jumps of the sharing-branch-fan-nodes that cannot be effectively detected by CFDSS algorithm.Experimental results show that the average error detection coverage of EDSS algorithm is 1.3% higher than that of CFDSS algorithm,and the average error detection rate of the sharing-branch-fan-nodes is about 1.9% higher than that of CFDSS algorithm.

Key words: table-driven, software signature, error detection, Controlled Flow Detection by Software Signature(CFDSS) algorithm, control flow graph

中图分类号: