计算机网络安全 协议、技术与应用

本书以TCP/IP网络安全协议为核心，全面、系统地论述计算机网络安全的协议、技术与应用等问题。

无结构对等网络中的搜索算法与安全机制

网络安全通信协议

网络安全协议

本书主要介绍信息安全协议古老和最新的研究成果。通过协议安全的本质，来引入对安全协议的思考和相关内容。针对不同已知的攻击方法，介绍已有的防范技术。以数学工具描述这些安全协议，以及相关的攻击技术和防范...

网络安全通信协议

网络安全通信协议主要是指实现某种安全目的的通信协议，它是密码技术运用到网络中的纽带，与密码技术一样现已成为解决网络安全问题的基础和关键。了解网络安全通信协议的原理是从事计算机相关专业，特别是信息安...

计算机密码学 通用方案构造及安全性证明

本书阐述计算机密码方案与密码协议的安全性证明理论，包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式...

矿难可避免 加强党的建设，促进煤炭安全生产

本书根据国内外煤炭安全生产和案例分析，是一部防止煤炭事故的理论著作。

举证责任与证明度

专题小课本高中数学 常用逻辑推理与证明

点击专项 高中数学 不等式 推理与证明

本书是高中生学习数学的必备参考用书。