可信编译构造理论与关键技术

本书详细介绍了可信编构器造译理论及其关键技术。对可信编译的概念和特征进行了准确定义和描述，总结归纳了各种不同的可信编译器构造方法。针对保证编译对象可信性，介绍了三种不同性质的实现机制。结合具体应用和实践，对可信编译器在可信嵌入式优化、软件测试和绿色编译中的应用进行了研究和探讨。介绍了基于可信编译的构造理论和方法，并对可信编译研究领域面临的挑战和未来发展趋势进行了总结和展望。