| 可信编译器关键技术研究 |
| |
| 引用本文： | 何炎祥,刘陶,吴伟.可信编译器关键技术研究[J].计算机工程与科学,2010,32(8):1-6. |
| |
| 作者姓名： | 何炎祥 刘陶 吴伟 |
| |
| 作者单位： | 1. 武汉大学计算机学院,湖北,武汉,430072;软件工程国家重点实验室,湖北,武汉,430072
2. 武汉大学计算机学院,湖北,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金可信软件重大研究计划资助项目 |
| |
| 摘 要： | 软件的可信性很大程度上依赖于程序代码的可信性。影响软件可信性的主要因素包括来自软件内部的代码缺陷、代码错误、程序故障以及来自软件外部的病毒、恶意代码等,因此从代码角度来保证软件的可信性是实现可信软件的重要途径之一。编译器作为重要的系统软件之一,其可信性对整个计算机系统而言具有非常重要的意义。软件程序一般都需要经过编译器编译后方能执行,如果编译器不可信,则无法保证其所生成代码的可信性。本文主要讨论设计和实现可信编译器的主要思路和关键技术。
|
| 关 键 词： | 可信编译 代码可信赖性 词法分析 微型编译器 |
| 收稿时间： | 2008-12-02 |
| 修稿时间： | 2009-03-12 |
Research on the Key Technology of Trusted Compiler |
| |
| HE Yan-xiang,LIU Tao,WU Wei.Research on the Key Technology of Trusted Compiler[J].Computer Engineering & Science,2010,32(8):1-6. |
| |
| Authors: | HE Yan-xiang LIU Tao WU Wei |
| |
| Affiliation: | (1.School of Computer Science,Wuhan University,Wuhan 430072;
2.State Key Laboratory of Software Engineering,Wuhan 430072,China) |
| |
| Abstract: | The trustworthy of software mainly depends on the trustworthy of source codes. Some factors including defects,errors and program faults in the source codes,virus from outside and malicious codes etc decide the trustworthy of software, so guaranteeing the trustworthy of software from aspect of source code is one of the most important methods for ensuring the trustworthy of software. As a kind of the most important system software, the trustworthy of compiler plays a critical role in the whole computer system. The software program can only be executed after compiled by compiler, so if the compiler can not be trusted, the trustworthy of executable code outputted can not be guaranteed. The key technologies and thoughts for developing trusted compiler are discussed in this paper. |
| |
| Keywords: | trusted compiler trustworthy of source code lexical analysis micro compiler |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
