-
: proposed security agreement on the nature of the agreement is the main means o...
：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同
时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协
议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand
的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nature of the agreement is the main means of the use of cryptography through the response to a challenge to the existence of other agreements made judgment and be completed at the same time on some key data such as the oral consultations. Based on this idea and certification of some logical outcome, a new security agreement relevance of the analysis method, The objective of the agreement for the certification based on linear space model semantic definition, Correlation analysis will be reduced to the existence of relations between the Strand and Strand parameters consistency of the problem.
- 2022-02-05 09:18:38下载
- 积分：1
-
Snoop网络封包分析工具
Snoop网络封包分析工具，本控件基于WinPcap，所以必须先安装WinPcap(Snoop Network Packet Analysis Tool,This control is based on WinPcap, so you must install WinPcap first.There are examples to illustrate.)
- 2020-06-23 13:40:02下载
- 积分：1
-
VB实现亮度、对比度、色相滑块调整功能
VB实现亮度、对比度、色相滑块调整功能，并实现了红绿蓝混色功能，保存当前Gamma梯度值值至数组入口点，转换符号整型数据、转换无符号长整型数据，将调整保存为文件，未找到默认数据文件，只能恢复到本次调置前的状态！
- 2022-04-24 02:53:53下载
- 积分：1
-
单片机入门的书，很适合 初学者，U1=89C51
U2=555
U3=MAX232
U4=24C01
U6＝X25045看门狗
X1=共阳数...
单片机入门的书，很适合 初学者，U1=89C51
U2=555
U3=MAX232
U4=24C01
U6＝X25045看门狗
X1=共阳数码管 -Singlechip book entry, it is suitable for beginners, U1 = 89C51U2 = 555U3 = MAX232U4 = 24C01U6 = X25045 watchdog X1 = total yang digital tube
- 2022-01-28 18:03:24下载
- 积分：1
-
LabWindows CVI aspects of the classic textbook
经典LabWindows CVI方面的教材《LabWindows CVI开发入门和进阶》一书例题1-4章中的源码，使用LabWindows CVI的人用得着。麻烦管理员帮我开通下载功能，我急需要本网站上的labwindows/CVI方面的数据库教程，谢谢！-LabWindows CVI aspects of the classic textbook
- 2022-02-07 21:13:44下载
- 积分：1
-
java 实现的焰火效果,效果不错,可能需要重新编译
java 实现的焰火效果,效果不错,可能需要重新编译-achieve the pyrotechnic effect, the effect is true, it may be necessary to recompile
- 2023-02-21 08:40:04下载
- 积分：1
-
CentOS系统管理
CentOS系统管理，系统管理当中的常用命令及其说明文档。(The CentOS Project is a community-driven free software effort focused on delivering a robust open source ecosystem. For users, we offer a consistent manageable platform that suits a wide variety of deployments. For open source communities, we offer a solid, predictable base to build upon, along with extensive resources to build, test, release, and maintain their code.)
- 2020-06-17 22:00:01下载
- 积分：1
-
BPA绿色破解版
bpa电力系统分析软件 不用安装，解压之后，按照压缩包里的图片说明设置一下路径就好(THE PSD-bpa power system analysis software do not have to be installed, only after decompression, according to the compressed package of pictures that set the path can be used)
- 2021-02-20 20:29:43下载
- 积分：1
-
clarke
clarke变换函数模块，属于试验项，望能对初学者有所帮助(Clarke transform function module, which belongs to the experimental item, is expected to be helpful to beginners.)
- 2019-04-30 18:31:36下载
- 积分：1
-
tps40057控制程序
说明： 用tps40057构成恒压源,运用stm32的内置ad和da进行pid控制(Constant Voltage Source Constructed by Tps40057)
- 2020-06-19 09:15:41下载
- 积分：1
