可信编译器关键技术研究
【出 处】:《
计算机工程与科学
》
CSCD
2010年第32卷第8期 1-6页,共7页
【作 者】:
何炎祥
[1,2] ;
刘陶
[1] ;
吴伟
[1]
【摘 要】
软件的可信性很大程度上依赖于程序代码的可信性。影响软件可信性的主要因素包括来自软件内部的代码缺陷、代码错误、程序故障以及来日软件外部的病毒、恶意代码等,因此从代码角度来保证软件的可信性是实现可信软件的重要途径之一。编译器作为重要的系统软件之一,其可信性对整个计算机系统而言具有非常重要的意义。软件程序一般都需要经过编译器编译后方能执行,如果编译器不可信,则无法保证其所生成代码的可信性。本文主要讨论设计和实现可信编译器的主要思路和关键技术。
相关热词搜索:
上一篇:无线Mesh网络中基于局部信息的自适应信道分配策略
下一篇:最后一页