目 录
第一部分 概 论
第1章 加密历史与技术 1
1.1 加密历史 1
1.2 Internet的崛起 2
1.3 Internet的安全 3
1.4 加密工具 4
1.4.1 加密基础 4
1.4.2 机密性 5
1.4.3 对称加密算法 6
1.4.4 不对称加密算法 7
1.4.5 身份验证和完整性 8
1.4.6 身份验证 8
1.4.7 消息的完整性 9
1.4.8 密钥交换 10
1.4.9 Diffie-Hellman 10
1.4.10 RSA密钥交换 11
1.5 加密的概念 12
1.5.1 完美向前保密 12
1.5.2 服务否认 13
1.6 更多的资讯 13
第2章 TCP/IP综述 15
2.1 导引 15
2.2 TCP/IP入门 15
2.2.1 协议堆栈
2022-05-20 09:01:02
3.71MB
1
近期国内外很多安全研究人员使用Tamarin对一些经典安全协议进行分析，并发现了经典协议的漏洞，其中包括TLS核5G通信协议，以及最近火爆流行的ECU安全通信协议SecOC。
本文档为Tamarin用户手册，是学习Tamarin的最佳文档，内容包括：
工具介绍
安装方式介绍
入门案例讲解
消息加解密的表示方式
案例研究
相关工具链
等等。
2022-05-16 10:42:35
3.57MB
1
4、UDP协议的安全性
用户数据报协议(User Datagram Protocol，UDP )扩展到应用程序，其可靠性与IP使用的服务级别相同。数据包递交基于尽力递交，没有差错修正、重传、丢失、拷贝或重新排序的数据包探测。在UDP中甚至差错探测也是选项。
当UDP用于传输大量数据时，其网络上的传输行为非常糟糕。其协议本身缺乏流量控制特性，因此它可能使主机和路由器陷入困境，并可引起大量数据包丢失。
2021-12-30 13:47:05
7.75MB
1
给出一种新的安全协议的设计方法——组合设计方法，首先分别实现各个安全目标，然后将它们组合为一个新的安全协议。组合方法设计安全协议具有易于实现、易于验证等优点。给出组合规则，使用组合方法实现了普适计算环境下认证协议及密钥协商协议的设计。
2021-12-30 10:08:21
535KB
1
网络安全协议课程实验完整报告
1）理解 TLS 协议原理；
2）掌握 apache 服务器的 HTTPS 配置方法；
3）掌握 TLS 流量分析方法。
2021-10-19 14:37:48
2.83MB