基于数据差异化分支签名的条件跳转错误检测算法
崔含泽1
臧海娟2
张春花1
潘勇
1.同济大学电子与信息工程学院 上海2018042.江苏理工学院计算机工程学院 江苏常州213001
摘要：程序控制错误可能会导致严重的程序执行错误.在安全苛求系统中,由于在恶劣环境中,处理器易受到电磁干扰等影响,可能导致处理器运算错误,存在安全隐患.目前对程序控制错误检测的研究主要基于基本块-签名和编码两种方法,基于基本块-签名的方法对程序性能影响较小,能检测程序控制错误,但检测分支跳转错误的漏检率较高;基于编码的算法能检测程序控制错误,但性能下降较大.为达到性能和漏检率的折中,本文基于基本块-签名和数据差异化编码思想,提出了分支签名的方法,从而保证分支跳转的正确性.本文采用故障注入及性能测试实验验证算法的漏检率和性能,结果表明:本算法漏检率可达,程序性能平均下降了10.2倍,相较于ANBD编码分支检测算法性能提高9.3倍.
关键词：分支签名数据差异化错误检测基本块控制流
资助基金：国家科技支撑计划(2015BAG13B01)
论文发表日期：2016-01-01
在线出版日期：2026-05-22（本平台首次上网日期，不代表文献的发表时间）
页数：8( 68-75 )
英文信息