基于程序等价变换的轻量级软加固方法
由于高能粒子的影响,空间计算机运行时会产生单粒子翻转效应,从而导致程序发生异常和错误.本文针对高级语言级别的程序,提出一种通过程序等价变换减少编译后产生的跳转指令从而提高程序的容错能力的轻量级软加固方法.与传统的软加固方法相比,该软加固方法产生的时间空间开销较低,并可以降低传统方法难以解决的程序计数器指向非代码段问题的发生概率.
空间计算机 轻量级软加固法 程序等价交换 安全运行
邓锦洲 谭庆平 张南 徐毅
国防科技大学计算机学院 湖南 长沙 410073
国内会议
江西九江
中文
514-518
2014-09-01（万方平台首次上网日期，不代表论文的发表时间）