可信的移动IPv6网络及协议
《可信的移动IPv6网络及协议》,作者:张玉军著 出版社:科学出版社 ISBN:9787030204288。本书主要内容包括移动IPv6协议本身的安全技术、切换过程中的服务质量保障技术、切换过程中的安全保障技术、跨域移动的信任控制技术、协议的形式描述和验证技术、网络设备的可靠性测试技术、移动代理的容错和负载均衡技术等方面。
可信
网构化软件可信评估技术
《网构化软件可信评估技术》,作者:龙军 出版社:科学出版社 ISBN:9787030463920。本书选取网构化软件可信评估相关理论与技术进行深入的研究，全书共10章。第1~第2章概述服务组合与演化的研究背景、意义及研究现状；第3章提出环境感知的服务可信QoS评价与选取策略；第4章提出信任推理与演化的服务组合策略；第5章提出链路级的可信演化服务组合策略；第6章提出环境学习与感
可信编译构造理论与关键技术
《可信编译构造理论与关键技术》,作者:何炎祥，吴伟著 出版社:科学出版社 ISBN:9787030364203。本书介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。
需求驱动的可信软件过程
《需求驱动的可信软件过程》,作者:张璇,王旭 著 出版社:科学出版社 ISBN:9787030534385。 本书主要介绍需求驱动的可信软件过程建模及管理方法。首先，系统地论述可信软件与软件过程领域的相关研究与实践背景，分析可信软件与软件过程的关系。在通过可信软件需求获取过程策略的基础上，提出面向方面的可信软件过程建模，建模的主要目的是建立可信软件过程的抽象模型，通过对该抽象模型的分
面向对象高可信SAR数据处理（上册）——理论与方法
《面向对象高可信SAR数据处理（上册）——理论与方法》,作者:张继贤等 著 出版社:科学出版社 ISBN:9787030571090。本书以国家高技术研究发展计划（863计划）“十二五”主题项目“面向对象的高可信SAR处理系统”为背景，针对合成孔径雷达数据在地貌地物、森林植被等方面的处理与解译难题，阐述利用多角度、多波段、多极化、极化干涉等多模式航空航天SAR数据，建立基于散射机理的地物特性知识库
面向对象高可信SAR数据处理（下册）——系统与应用
《面向对象高可信SAR数据处理（下册）——系统与应用》,作者:张继贤等 著 出版社:科学出版社 ISBN:9787030571106。本书以国家高技术研究发展计划（863计划）“十二五”主题项目“面向对象的高可信SAR处理系统”为背景，针对合成孔径雷达数据在地貌地物、森林植被等方面的处理与解译难题，阐述利用多角度、多波段、多极化、极化干涉等多模式航空航天SAR数据，建立基于散射机理的地物特性知识库
可信平台模块虚拟化与证明
《可信平台模块虚拟化与证明》,作者:谭良 著 出版社:科学出版社 ISBN:9787030557698。本书系统化地介绍TPM虚拟化、可信虚拟平台及虚拟域（或终端）的证明。TPM虚拟化是可信云环境的核心，本书详细介绍可信虚拟平台具有瀑布特征的信任链模型及理论、可信虚拟平台新的证书信任扩展方法、基于影子页表+的软件型vTPM密钥保护方案、可信虚拟平台vTPM动态迁移方法，从理论和实践
可信软件测度理论与方法
《可信软件测度理论与方法》,作者:于本海著 出版社:科学出版社 ISBN:9787030409379。本书从软件开发的工程过程和管理过程人手，定义了可信软件过程，建立基于可信原则的可信软件过程改进模型；为正确评价可信软件水平，分别构建基于全生命周期过程实体、过程行为、过程产品、进度和成本可信的软件过程可信属性和评价指标体系；基于软件保密安全性、生存性、容错性、可靠性和防危性的软件
网络信息的模式识别与可信测度
《网络信息的模式识别与可信测度》,作者:李保珍 著 出版社:科学出版社 ISBN:9787030591333。本书从用户生成内容的新型网络环境入手，侧重介绍网络信息的模式识别及可信测度的新技术、新方法。与传统网络环境相比，基于用户生成内容的网络信息具有多源异构、异质关联及层次嵌套等特点。本书从以下方面展开介绍:网络信息的主题挖掘及关联挖掘；网络信息的概率性可信测度及语义性可信测度。
