《Z形式规约的自动求精研究》叙述简明清晰，逻辑性强，可作为高等学校相关专业研究生和从事形式语言研究、大型软件形式化开发与应用的专业人员参考。Z形式规约是一种世界上广泛使用的软件规格说明语言，在软件开发的需求规格说明阶段和软件设计阶段都可以使用，对于提高大型软件质量、验证软件设计正确性等方面具有非常重要的意义。由于Z是以

本书从系统工程的角度阐述信息安全，将信息安全上升为信息安全系统工程。全书分为3篇，分别阐述了信息安全原理及技术、信息安全管理和信息安全法律法规。

《信息安全工程》力图从工程的角度出发，对信息安全从规划与控制、需求与分析、实施与评估全过程的描述，并结合具体的信息安全工程的实现，描述了信息安全工程的内容。《信息安全工程》主要介绍了信息安全工程基础、系统安全工程能力成熟度模型（SSE—CMM）、信息安全工程实施、信息安全风险评估、信息安全策略、信息安全工程与等级保护和

《21世纪高等学校规划教材：计算机组成原理》系统地介绍了计算机硬件系统的工作原理和组成结构，包括运算器、控制器、存储器、输入／输出系统及计算机中数据表示与运算的基础知识。全书共分8章，第1、2章介绍计算机的基础知识；第3～8章讲述计算机各个组成部分的工作原理和设计方法。《21世纪高等学校规划教材：计算机组成原理》既注意

本书以通俗的语言介绍了有关信息安全的知识，内容包括密码学、网络安全保密技术、信息系统安全保障、外军通信安全保密技术、信息安全保密技术的综合结构、军事通信系统安全保密发展思路等。

本书详细介绍了常用数据结构和算法的基本概念及其不同的实现方法，对各种数据结构，讨论了在不同存储结构上实现线性和非线性结构的不同运算，并对算法设计的方法和技巧进行了介绍。

本书以通俗的语言全面介绍有关信息安全的知识。内容包括：综述、密码学、网络安全保密技术、信息系统安全保障、外军通信安全保密技术、信息安全保密技术的结合结构、军事通信系统安全保密发展思路等。

本书共分为8章，即章绪论，第2章信息编码与运算方法，第3章存储器系统，第4章指令系统，第5章CPU控制器，第6章总线系统，第7章输入输出系统，第8章全真试题。同时，在各章之后都有量的试题，可用于检测知识的掌握情况。本书特点是通俗易懂、内容全面、重点突出，适用于准备参加研究生入学考试的人员作为复习参考书，也可供各类高校计

本书以作者的研究工作为主，系统介绍了信息隐藏技术的思想、算法和应用，重点对数字水印和隐秘通信两个方面的新进展进行总结，其中在印刷品数字水印防伪技术研究、信道信息隐藏技术研究和隐写分析技术研究方面有所创新。全书共分8章。章介绍信息隐藏基础知识，包括信息隐藏的基本概念、理论、应用和发展现状；第2章介绍隐秘术的基本原理和方法

本书系统地对信息隐藏及其数字水印分支进行了原理性介绍，并通过具体的算法设计，从实践的角度给出实现信息隐藏的基本思路和方法。