-
: 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
-
j2me RPG 游戏 代码
古代传说转自csdn
j2me RPG 游戏 代码
古代传说转自csdn-Game code j2me RPG carried csdn ancient legends
- 2022-03-14 03:23:09下载
- 积分：1
-
This is my company, in the actual software testing in the practical example of s...
这个是我公司，在实际软件测试中所实用的实例，串口在excel中的应用。-This is my company, in the actual software testing in the practical example of serial port in the excel application.
- 2022-06-12 00:22:53下载
- 积分：1
-
Z值渲染，VB＋M0开发的GIS源代码，可以在二维图上增加Z值，实现第三维操作...
Z值渲染，VB＋M0开发的GIS源代码，可以在二维图上增加Z值，实现第三维操作-Z value rendering, VB M0 developed GIS source code, can be increased in two-dimensional map of Z values, the realization of the third-dimensional operation
- 2022-05-01 01:53:33下载
- 积分：1
-
本人编写的有关军队营房工作的管理系统，仅供学习使用。
本人编写的有关军队营房工作的管理系统，仅供学习使用。-prepared by the army barracks, work management system, is for studying.
- 2022-01-26 08:06:38下载
- 积分：1
-
在一个程序中通过修改参数实现三种调制方式，分别是AM、DSB和FM。
注释详细，适合初学者参考。...
在一个程序中通过修改参数实现三种调制方式，分别是AM、DSB和FM。
注释详细，适合初学者参考。-It s an analog modulation program by change a parameter.The three modulation types are AM, DSB, and FM. The program is easy to read and suitable for beginners.
- 2023-01-01 12:35:07下载
- 积分：1
-
塞班例子程序，完整的可以编译通过的代码，希望对初学塞班程序的朋友有所帮助，谢谢交流。！...
塞班例子程序，完整的可以编译通过的代码，希望对初学塞班程序的朋友有所帮助，谢谢交流。！-Saipan example program, a complete code can be compiled by the hope that a friend of the beginner program Saipan help, thank you share. !
- 2022-01-26 02:17:00下载
- 积分：1
-
小游戏 一个用vc＋＋编得小游戏 游戏规则就不说了啊 上面有！ 就是一个小小得游戏拉...
小游戏 一个用vc＋＋编得小游戏 游戏规则就不说了啊 上面有！ 就是一个小小得游戏拉-small game with a vc++ of being small game rules of the game will not say that there are ah! Little is a game in Rafah
- 2023-06-06 11:10:03下载
- 积分：1
-
Matlab MIMO OFDM channel estimation source files, beginners can look at.
Matlab MIMO OFDM信道估计源程序，初学者可以看看。-Matlab MIMO OFDM channel estimation source files, beginners can look at.
- 2022-03-24 21:10:58下载
- 积分：1
-
这是一个词法分析器源码，希望大家共同交流！
这是一个词法分析器的源程序，希望大家共同交流！-This is a lexical analyzer source, we hope that common exchange!
- 2023-04-13 07:10:02下载
- 积分：1
