学习tamarin的必读文档之一，建议在阅读tamarin用户手册之前先阅读该文档。该文档为tamarin-prover的入门级介绍文档，可以快速了解tamarin的用途、使用方式与效果。
2022-01-26 14:00:23
454KB
1
ISO三次传输双向认证协议
Example5: ISO三次传输双向认证协议
协议目的：Alice和Bob利用公钥体制实现双向认证
协议组成：3条消息组成
Alice (A)
Bob (B)
2021-12-21 03:42:22
1.66MB
1
A Hacker’s Guide to Capture, Analysis, and Exploitation
epub格式
2021-12-16 08:55:51
28.54MB
1
无线局域网在给人们的日常生活带来便利的同时,也增加了通信的不安全性。为了克服 WEP 协议固有弱点给无线网络带来的诸多安全性隐患,Wi-Fi联盟提出了WPA/WPA2协议来替代WEP协议。本文主要对WEP、WPA/WPA2两种无线局域网通信协议加密过程进行了研究,并从数据加密、数据完整性、身份认证等方面详细分析了 WPA/WPA2 协议所做出的改进。最后文章还对WPA/WPA2的攻击方式做了简单介绍。
2021-11-30 10:57:41
424KB
1
交错攻击定义
攻击者将某个协议的两个或者多个运行实例安排为以交织的方法执行。
结果是：
（1）攻击者可以合成某条消息，并发送各某个运行中的主体，期望收到该主体的一个应答；
（2）而该应答可能对于另外某个运行中的另外一个主体是有用的；
（3）在接下来的运行中，从前面运行中得到的应答可能促使后面的主体对某个问题作出应答，而该应答又恰好能运用于第一个运行。
2021-11-21 17:15:46
1.66MB
1
本书从网络攻防、协议与安全解决方案的角度阐述网络安全，把网络看成安全与不安全的源头。全书共分为四部分，第一部分讨论网络概念与威胁的入门知识，分别介绍了网络体系结构、网络协议、互联网和网络漏洞的分类；第二部分讨论低层网络安全，包括物理网络层概述、网络层协议和传输层协议；第三部分讨论应用层安全，包括应用层概述、邮件、Web安全和远程访问安全；第四部分基于网络防范，介绍了常用的网络安全设备。
2021-11-16 14:20:35
32.73MB
1
WebScarab是一个用来分析使用HTTP和HTTPS协议的应用程序框架。其原理很简单，WebScarab可以记录它检测到的会话内容（请求和应答），并允许使用者可以通过多种形式来查看记录。WebScarab的设计目的是让使用者可以掌握某种基于HTTP（S）程序的运作过程；可以用它来调试程序中较难处理的bug，也可以帮助安全专家发现潜在的程序漏洞。 #资源分享达人计划#
2021-08-25 18:06:04
14.41MB
1