可信编译相关论文
软件的可信性很大程度上依赖于程序代码的可信性。影响软件可信性的主要因素包括来自软件内部的代码缺陷、代码错误、程序故障以及......
循环优化对于提高Cache性能、发掘程序的并行性以及减少执行循环的开销都有着重要的作用，证明带循环优化功能的现代编译器的正确性......
设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进......
大部分软件开发中主要关注源代码级别的可靠性,通常默认编译器和操作系统是可信的。但是作为与安全攸关的软件还必须考虑编译器引......
