可信编译构造理论与关键技术
本书特色
[
编译器是重要的系统软件，除了编译功能，在许多领域都有应用，如绿色计算、嵌入式系统优化、代码分析与验证、可信计算、软件测试等。编译器是否可信直接影响着整个计算机系统的可信性，因此编译器的可信性一直受到人们的广泛关注和深切重视。本书全面系统地介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。同时，本书还介绍了可信编译在嵌入式软件优化、绿色编译、软件测试以及可信软件开发过程中的应用与实践。
本书许多内容是作者近年来在该领域的*新研究成果，具有较强的原创性。本书取材新颖、内容丰富、概念准确、层次清晰、叙述严谨、图文并茂、系统性强，可作为高等院校和科研院所计算机科学与技术、软件工程、计算机应用技术等相关专业的高年级本科生或研究生的参考书，也可供可信软件及相关领域的研究人员借鉴、学习和参考。
]
目录
《信息科学技术学术著作丛书》序前言第1章 绪论1.1 研究背景及意义1.2 相关研究现状1.2.1 编译器自身的安全性问题研究1.2.2 编译所生成程序代码的安全性问题研究1.2.3 安全程序设计语言及其相应编译系统构造方法研究1.3 目标及内容1.3.1 编译器自身的可信性研究1.3.2 编译所得可执行代码的可信性研究1.4 本书组织结构1.5 本章小结参考文献第2章 编译器自身可信性2.1 引言2.2 可信编译概念2.3 编译正确性证明2.3.1 编译器正确性2.3.2 形式语义与语义保持2.3.3 保证编译器自身可信性方法2.4 可信编译器构造2.4.1 基于编译器正确性的构造方法2.4.2 基于携带证明代码的构造方法2.4.3 基于转换检验的构造方法2.4.4 基于可证明微型编译器的构造方法2.4.5 可信编译器构造方法对比分析2.5 基于形式语义的编译器正确性证明2.5.1 源语言2.5.2 目标语言2.5.3 编译转换及正确性证明2.6 编译优化正确性证明2.6.1 中间语言语法和迁移系统2.6.2 模拟关系及语义一致性验证2.6.3 编译优化实现正确性验证过程2.6.4 应用示例2.6.5 结论2.7 本章小结参考文献第3章 编译对象的可信性3.1 引言3.2 代码可信性验证机制3.2.1 基于分离逻辑的程序验证3.2.2 基于模型检测的程序验证方法3.3 代码安全性加强机制3.3.1 基于有色petri网的缓冲区溢出检测3.3.2 基于smt求解器的程序验证方法3.4 可执行代码安全保护机制3.4.1 基于压缩的低开销代码保护策略3.4.2 基于程序流敏感的自修改代码混淆方法3.4.3 程序动态完整性保护3.5 本章小结参考文献第4章 基于编译嵌入式软件优化4.1 引言4.2 基于编译的优化框架4.2.1 基于编译的嵌入式系统优化框架结构设计4.2.2 面向嵌入式平台编译优化的中间语言设计4.2.3 目标机器特征描述语言研究4.3 传统的编译器优化技术概述4.3.1 机器无关的编译器优化技术4.3.2 机器相关的编译器优化技术4.4 内存优化4.4.1 背景4.4.2 分析4.4.3 方法4.4.4 一个例子4.4.5 实验结果4.5 功耗优化4.5.1 功耗模型4.5.2 基于编译的功耗优化方法4.5.3 基于总线的功耗优化实例4.5.4 基于片上缓存的功耗优化4.6 本章小结参考文献第5章 绿色编译优化5.1 引言5.2 绿色编译器概念及优化框架5.2.1 绿色编译器的概念5.2.2 绿色编译优化框架5.3 面向移动嵌入式系统的绿色编译优化方法研究5.3.1 基于计算博弈论的混合存储系统绿色编译优化5.3.2 基于总线翻转编码和多维度集成学习的指令选择和调度方法研究5.3.3 基于编译的多核环境下的并行程序绿色优化5.4 绿色评估模型5.5 本章小结参考文献第6章 基于编译的软件测试6.1 引言6.2 基于编译的测试框架6.3 测试需求描述语言6.4 基于编译的错误可跟踪的自动测试方法6.4.1 用于测试用例生成的扩展语法及对应语义6.4.2 应用举例6.5 本章小结参考文献第7章 基于编译的可信软件构造及关键技术7.1 引言7.2 基于编译的可信软件开发过程模型7.2.1 可信软件开发过程模型7.2.2 可信软件开发过程可信保障机制7.3 可信软件需求建模与验证7.3.1 基于软件行为的需求建模方法7.3.2 面向可信软件需求模型的验证方法7.4 可信软件的设计与实现7.4.1 可信软件体系结构设计7.4.2 体系结构驱动的构件化可信软件组装7.4.3 基于可信编译的代码生成与分析7.5 可信软件的测试与评估7.5.1 可信软件的测试7.5.2 可信软件的评估7.6 本章小结参考文献第8章 总结及展望8.1 总结8.2 展望
封面
书名:可信编译构造理论与关键技术
作者:何炎祥
页数:228
定价:¥60.0
出版社:科学出版社
出版日期:2013-01-01
ISBN:9787030364203
PDF电子书大小:62MB 高清扫描完整版