可信编译器关键技术研究.pdfVIP

CN43—1 258／TP 计算机工程与科学 2010年第32卷第8期 1SSN V01．32．No．8。2010 1007—130X COMPUTERENGINEERING＆SCIENCE —■■———●—●———■————■——●■———■■■——■■●■—■■—●●—■■——■■●——■●——●■—■—■■■——■■—●■■■■●—■■■■—●■■■—●■■■●■■■●—●■■———■■■■■■■■——■_l■■■●—■■—一 文章编号：1007—130X(2010)08—0001—06 可信编译器关键技术研究。 Researchonthe ofTrusted KeyTechnology 何炎祥L2。刘陶1，吴伟1 HE Weil Tao，WU YaI卜xial耐--，LIU (1．武汉大学计算机学院．湖北武汉430072；2．软件工程国家重点实验室．湖北武汉430072l of (1．SchoolComputerScience，WuhanUniversity。Wuhan430072； 2．State ofSoftware KeyLaboratory Engineering，Wuhan430072。China) 摘要：软件的可信性很大程度上依赖于程序代码的可信性。影响软件可信性的主要因素包括来自软件内部的代码 缺陷、代码错误、程序故障以及来自软件外部的病毒j恶意代码等。因此从代码角度来保证软件的可信性是实现可信软件的 重要途径之一。编译器作为重要的系统软件之一，其可信性对整个计算机系统而言具有非常重要的意义。软件程序一般 都需要经过编译器编译后方能执行，如果编译器不可信，则无法保证其所生成代码的可信性。本文主要讨论设计和实现可 信编译器的主要思路和关键技术。 ofsoftware onthe ofsourcecodes．Somefactors de— Abstract：The mainly including trustworthy depends trustworthy and faultsinthe fromoutsideandmalicioUScodesetcdecidethe of fects，errors sourcecodes，virus program trustworthy software，SO the ofsoftwarefrom ofsourcecodeisoneofthemost methodsfor guaranteeingtrustworthy aspect important the ofsoftware．Asakindofthemost software，the of ensuringtrustworthy importantsystem trustworthycompilerplays acriticalroleinthewhole software can beexecutedafter if on