• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
论文

Research on the Key Technology of Trusted Compiler

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

Received date: 2008-12-02

  Revised date: 2009-03-12

  Online published: 2010-07-25

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.

Cite this article

HE Yanxiang1,2,LIU Tao1,WU Wei1 . Research on the Key Technology of Trusted Compiler[J]. Computer Engineering & Science, 2010 , 32(8) : 1 -6 . DOI: 10.3969/j.issn.1007130X.2010.

Outlines

/