Computer Engineering & Science >
Research on the Key Technology of Trusted Compiler
Received date: 2008-12-02
Revised date: 2009-03-12
Online published: 2010-07-25
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.
HE Yanxiang1,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.1007130X.2010.
/
| 〈 |
|
〉 |