空间网络安全与验证

本书内容分为四部分，共计11章。第一部分共有2章，对空间网络及架构进行了描述；第二部分共有6章，对空间网络安全策略、空间网络安全体系结构、安全路由、安全传输控制、密钥管理和安全切换等关键技术开展了研究；第...

网络安全加密原理、算法与协议

软件的质量 软件的分析、测试与验证

本书主要介绍了有关当前软件质量保证的技术，方法，原理和构成等。

密码协议 基于可信任新鲜性的安全性分析

本书主要讨论如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码通信协议。基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则，该原则指出了一种有效的、易用的密码协议安全性分析方法。利用这...

维修性设计分析与验证

本书介绍了产品的维修性概念、维修性要求、维修性时间系统工程、维修性模型、维修性设计技术、维修性设计方案、维修性验证与评价等。

安全协议 理论与实践

本书共分16章，系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要包括密码算法基础知识、可证明安全性、形式化、混合、零知识证明、安全多方计算等基础理论和方法。...

系统测试性设计分析与验证

本书全面介绍了测试性设计分析与验证的有关理论和方法，内容包括：测试性和诊断概念、度量参数和指标、测试性要求和诊断方案、测试点与诊断策略、指标分配和预计以及测试性设计和验证等技术及方法。...

网络安全协议理论与技术

本书主要介绍Internet协议及其基本概念、安全协议的密码学基础、基本安全协议、抗攻击的安全协议及实际使用的安全协议。

网络安全：加密原理、算法与协议

本书介绍因特网有关的安全性问题，以及网络安全加密，实现算法与协议等内容。

安全协议模型与设计

本书紧紧围绕解决安全协议中针对不同服务环境的设计思想、设计方法、所采用的模型以及折中效率与安全等实际问题，并给出安全性证明、通信量和计算量等参数的横向对比结果，使读者对安全协议领域的研究有深刻的...