可信编译器关键技术研究

• 作者: 何炎祥 刘陶 吴伟
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 可信编译 代码可信赖性 词法分析 微型编译器
• 年，卷（期）: 2010,（8）
• 页码范围: 1-6,35
• 分类号: TP314
• 字数: 9034字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.08.001

摘要

软件的可信性很大程度上依赖于程序代码的可信性.影响软件可信性的主要因素包括来自软件内部的代码缺陷、代码错误、程序故障以及来自软件外部的病毒、恶意代码等,因此从代码角度来保证软件的可信性是实现可信软件的重要途径之一.编译器作为重要的系统软件之一,其可信性对整个计算机系统而言具有非常重要的意义.软件程序一般都需要经过编译器编译后方能执行,如果编译器不可信,则无法保证其所生成代码的可信性.本文主要讨论设计和实现可信编译器的主要思路和关键技术.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何炎祥	武汉大学计算机学院	11	71	6.0	8.0
3	刘陶	武汉大学计算机学院	13	191	7.0	13.0
6	吴伟	武汉大学计算机学院	30	81	5.0	7.0