可信编译器关键技术研究

doi:10.3969/j.issn.1007130X.2010.

J4 ›› 2010, Vol. 32 ›› Issue (8): 1-6.doi: 10.3969/j.issn.1007130X.2010.

• 论文 • 下一篇

可信编译器关键技术研究

何炎祥1,2，刘陶1，吴伟1

(1.武汉大学计算机学院，湖北武汉 430072；2.软件工程国家重点实验室，湖北武汉 430072)

收稿日期:2008-12-02 修回日期:2009-03-12 出版日期:2010-07-25 发布日期:2010-07-25
通讯作者: 刘陶
作者简介:何炎祥（1952），男，湖北应城人，博士，教授，博士生导师，研究方向为可信软件和软件工程。
基金资助:
国家自然科学基金可信软件重大研究计划资助项目（90818018）

Research on the Key Technology of Trusted Compiler

HE Yanxiang1,2,LIU Tao1,WU Wei1

(1.School of Computer Science,Wuhan University,Wuhan 430072;
2.State Key Laboratory of Software Engineering,Wuhan 430072,China)

Received:2008-12-02 Revised:2009-03-12 Online:2010-07-25 Published:2010-07-25
Contact: LIU Tao1

摘要/Abstract

摘要：

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

关键词: 可信编译, 代码可信赖性, 词法分析, 微型编译器

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.

Key words: trusted compiler;trustworthy of source code;lexical analysis;micro compiler

何炎祥1,2，刘陶1，吴伟1. 可信编译器关键技术研究[J]. J4, 2010, 32(8): 1-6.

HE Yanxiang1,2,LIU Tao1,WU Wei1. Research on the Key Technology of Trusted Compiler[J]. J4, 2010, 32(8): 1-6.

[1]	范逸雪段成华. 系统级硬件描述语言SpecC词法分析器设计与实现[J]. J4, 2008, 30(8): 124-127.
[2]	于龙殷建平张国敏. 关于数据库查询的自然语言接口研究[J]. J4, 2005, 27(1): 36-37.

可信编译器关键技术研究

Research on the Key Technology of Trusted Compiler

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 2

编辑推荐

Metrics

本文评价