基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论，并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷，重点研究如何在
/dl/202483.html
标签： NSPK
上传时间： 2021-01-13
上传用户：lanyin
随着多媒体通信业务的普遍开展，MGCP 协议作为VoIP 的主流协议而越来越受到人们的关注。媒体网关 (MG) 及媒体网关控制器 (MGC)是MGCP 体系架构中必不可少的组成部分，目
/dl/202630.html
标签： MGCP BR
上传时间： 2021-01-16
上传用户：zl5712176
随着国际互联网络的迅猛发展，网络应用的不断丰富，Intenret已经从最初以学术交流为目的而演变为商业行为，网络安全性需求日益增加，高速网络安全保密成为关注的焦点，在安全得到保障的情况下，为了满足网速无限制的追求，高速网络硬件加密设备也必将成为需求热点。另一方面，IPSec协议被广泛的应用于防火墙和安全网关中， ...
/dl/202874.html
标签： IPSec FPGA
上传时间： 2021-01-21
上传用户：88938858
资料->【B】电子技术->【B5】通信技术->【1】通信协议->【PS2、鼠标、键盘】->PS2鼠标键盘协议.pdf
/dl/202946.html
标签： 鼠标键盘协
上传时间： 2021-01-22
上传用户：fuh
新版rc500通信协议，补充了一些新的功能，希望对想学习射频的同学有一定的帮助
/dl/203712.html
标签： rc500
上传时间： 2021-02-12
上传用户：LouieWu
802.15.4无线通信协议，需要了解通信内容，学习无线通信的同学注意了。
/dl/203722.html
标签： IEEE802.15.4 无线通信
上传用户：592730383
TCP/IP协议详解，第一卷，关于TCP/IP概念详述
/dl/203795.html
标签： TCP-IP 详解
上传时间： 2021-02-15
上传用户：爱死爱死
stm32 PPI协议，资料很全，对于初学者很有用的
/dl/204004.html
标签： stm 32
上传时间： 2021-02-22
上传用户：875319625
Q-GDW376-1-2009-I《电力用户用电信息采集系统通信协议：主站与采集终端通信协议》
/dl/204184.html
标签： 通信协议
上传时间： 2021-02-28
上传用户：qx207811
ModBus协议(中文pdf文件)，该协议广泛应用在仪器仪表，工业现场总线，是基于485的一种总线协议
/dl/204195.html
标签： modbus
上传用户：thuko8652
