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

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

维修性设计分析与验证

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

安全协议模型与设计

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

网络协议与网络安全 第2版

本书介绍计算机硬件知识，包括计算机系统概论，计算机数据表示，运算方法和运算器，中央处理器，指令系统，存储器及存储系统，输入输出系统及新一代计算机的体系结构。...

数学与现代科学技术丛书 可证明安全算法与协议

本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部...

网络协议分析与实现

本书是浙江重点教材建设项目“网络工程专业系列教材”之一。本书采用自底向上的方法来分析TCP/IP协议族的核心源代码，主要内容包括TCP/IP协议概述、底层技术、ARP协议、IP协议、ICMP协议、IGMP协议、RIP协议...

因素分析 从探索性到验证性的因素分析

网络安全协议

本书对数据链路层安全协议、网络层安全协议、传输层安全协议等方面进行了比较深入的分析，介绍了各层协议的安全缺陷、易受到的攻击、以及在相应层协议中所增强的安全机制。...

TCP/IP协议分析

犯罪分析与安全治理