本书论述了在软件开发和测试中实际推行软件可靠性工程所需的具体步骤,并将软件可靠性工程的效益落实到每一个具体步骤中。本书的内容组织特别适合快速掌握和运用,详细介绍了一个来自贝尔实验室产品的完整案例研究,读者可以透彻地了解整个软件可靠性工程的全过程。为了便于理解,本书每章都对常见问题进行了解答,所提供的练习可以直接运用于实践。本书将软件可靠性工程核心实践分解为适合一两天学习的过程,即使是软件可靠性工程的新手也可以迅速掌握以下内容:建立可靠性的定量目标、开发操作剖面、使用CASRE估计软件可靠性、确定操作模式。
本书是一本对基本概念和语言特性有着深刻见解的指南性书籍,同时也是一本包含内容广泛的参考性书籍。本书首先讲述了语言细节,然后对编码技巧进行了广泛的讨论,还对模板的应用进行了阐述、分析。贯串全书的示例阐明了抽象概念并演示了实践方法。读者将学习到:·正确的模板行为;·如何避开与模板相关的错误陷阱;·从基础的到早前没有文字约定的惯用语法和技巧;·如何在不对性能和安全性造成损害的前提下进行源代码重用;·如何提高C程序的效率;·如何构建更具灵活性和可维护性的软件。
第Ⅰ部分是密码学与信息安全的入门性介绍。第Ⅱ部分介绍学习本书的数学背景知识,也可作为学习现代密码学理论基础的系统背景知识。第Ⅲ部分介绍提供保密和数据完整性保护最基本的密码算法和技术。第Ⅳ部分介绍应用密码学和信息安全中一个重要的概念——认证。第Ⅴ部分对公钥密码技术(加密、和签密)的强(实用)安全性概念进行严格的形式化处理,并给出认证协议的形式化分析方法。第Ⅵ部分包括两个技术章节和一个简短的评述。本书适合大学本科生、在高科技公司从事信息安全系统设计和开发的安全工程师、企业信息安全系统管理人员或者生产安全产品的软/硬件开发商以及刚开始从事密码学或计算机安全方面研究的博士生等使用。
内容简介
内容简介
本书是关于计算机网络的经典教材,是目前美国大多数大学所开设的计算机网络课程的主要参考书。全书共三卷。第二卷在第一卷介绍了TCP/IP基本概念的基础上,进一步详细讨论了TCP/IP的实现细节。这一卷的突出特点非常注重实际。作者利用程序代码实现了TCP/IP的每个技术细节,并且所有代码在书中均可找到,有助于读者深入了解并掌握TCP/IP的细节内容。书中附录分别给出了过程调用交叉参考表、程序代码中用到的C数据结构交叉参考表及Xinu函数和常量。