基于delta码的乘除法运算错误检测改进算法

• 作者: 孙宗奇 张春花 潘勇 臧海娟
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 安全编码 数据差异化 错误检测 安全性 逆元
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 先进计算
• 页码范围: 975-979,985
• 页数: 6页
• 分类号: TP302.8
• 字数: 7355字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2017.04.0975

摘要

为确保安全苛求系统中程序执行的正确性,研究人员将差错控制理论用于对计算机指令进行编码,但由于编码大多涉及模运算,导致复杂度大量增加,应用于实时系统有困难.针对复杂度问题对delta码的乘除法运算算法进行改进.算法在乘法运算中引入冗余编码及差异化思想,从而确保安全性;在除法运算中引入逆元,将除法运算转化为低复杂度的乘法运算,避免了模运算带来的开销,降低了复杂度并提高了算法安全性,并对安全性进行理论论证.理论分析表明:所提算法漏检率可达2.3×10-10.测试结果表明,所提算法的漏检率与理论值相符,且复杂度是未编码运算6.4 ～7.2倍,比原delta码降低了7％～19％,在漏检率与复杂度方面均满足安全苛求系统的应用要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张春花	同济大学电子与信息工程学院	7	3	1.0	1.0
2	孙宗奇	同济大学电子与信息工程学院	2	0	0.0	0.0
3	臧海娟	江苏理工学院计算机工程学院	11	11	2.0	2.0
4	潘勇	同济大学电子与信息工程学院	5	18	2.0	4.0