可信平台模块虚拟化与证明.pdf
本书系统化地介绍TPM虚拟化、可信虚拟平台及虚拟域（或终端）的证明。TPM虚拟化是可信云环境的核心，本书详细介绍可信虚拟平台具有瀑布特征的信任链模型及理论、可信虚拟平台新的证书信任扩展方法、基于影子页表+的软件型vTPM密钥保护方案、可信虚拟平台vTPM动态迁移方法，从理论和实践
可信
面向对象高可信SAR数据处理（下册）——系统与应用.pdf
本书以国家高技术研究发展计划（863计划）“十二五”主题项目“面向对象的高可信SAR处理系统”为背景，针对合成孔径雷达数据在地貌地物、森林植被等方面的处理与解译难题，阐述利用多角度、多波段、多极化、极化干涉等多模式航空航天SAR数据，建立基于散射机理的地物特性知识库，构建地形辐射
面向对象高可信SAR数据处理（上册）——理论与方法.pdf
本书以国家高技术研究发展计划（863计划）“十二五”主题项目“面向对象的高可信SAR处理系统”为背景，针对合成孔径雷达数据在地貌地物、森林植被等方面的处理与解译难题，阐述利用多角度、多波段、多极化、极化干涉等多模式航空航天SAR数据，建立基于散射机理的地物特性知识库，构建地形辐射
参数可信性优化方法.pdf
在采用优化方法解决实际工程与管理问题时，由于实际问题本身的复杂性，模型中不确定参数的精确可能性分布通常无法获得。本书基于2型模糊理论这一公理化体系，提出了当精确可能性分布无法获得时，如何从可变参数可能性分布这一新视角对实际决策问题进行建模，弥补了文献中基于名义可能性分布优化方法的
需求驱动的可信软件过程.pdf
本书主要介绍需求驱动的可信软件过程建模及管理方法。首先，系统地论述可信软件与软件过程领域的相关研究与实践背景，分析可信软件与软件过程的关系。在通过可信软件需求获取过程策略的基础上，提出面向方面的可信软件过程建模，建模的主要目的是建立可信软件过程的抽象模型，通过对该抽象模型的分
可信编译构造理论与关键技术.pdf
本书介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。
晶体学中的对称群.pdf
本书运用群论讨论了晶体的对称性，推导和介绍了晶体学点阵、平移群和空间群，描述了群论和晶体的对称性在固体科学中的应用。
网构化软件可信评估技术.pdf
本书选取网构化软件可信评估相关理论与技术进行深入的研究，全书共10章。第1~第2章概述服务组合与演化的研究背景、意义及研究现状；第3章提出环境感知的服务可信QoS评价与选取策略；第4章提出信任推理与演化的服务组合策略；第5章提出链路级的可信演化服务组合策略；第6章提出环境学习与感
可信软件与开发方法.pdf
本书以可信软件开发为主线，从软件实际开发过程出发，对可信软件开发的技术、方法和过程进行分析和研究，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约、精化直到代码生产阶段的模型形式化验证及自动