-
: 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
-
自己学的文件加密小程序,希望对你们有用,欢迎下载
自己学的文件加密小程序,希望对你们有用,欢迎下载-Their own to learn a small file encryption program that you want to be useful are welcome to download
- 2023-05-13 15:00:02下载
- 积分:1
-
是c++语言所写,能解简单的方程组,只是一个例子
是c++语言所写,能解简单的方程组,只是一个例子-Is c++ Language, to obtain the simple equations, is just one example
- 2022-07-07 17:35:39下载
- 积分:1
-
文本文件有关操作
文本文件有关操作-text of the operation
- 2022-10-11 00:30:03下载
- 积分:1
-
test code for ARM controller lpc2148
test code for ARM controller lpc2148
- 2022-01-27 09:42:20下载
- 积分:1
-
sql表的制作过程演示
sql表的制作过程演示-sql table in the process of making demonstration
- 2022-03-13 08:33:40下载
- 积分:1
-
字模生成工具,根据ucdos的hzk来生成的24点阵字模,做LCD电子屏不可多得的工具...
字模生成工具,根据ucdos的hzk来生成的24点阵字模,做LCD电子屏不可多得的工具-Matrix generation tool, according to the ucdos to generate hzk dot matrix 24, to do electronic screen LCD rare tools
- 2022-02-07 18:08:16下载
- 积分:1
-
基于DirectX开发俄罗斯方块游戏 应用于c++语言
基于DirectX开发俄罗斯方块游戏 应用于c++语言-DirectX Visu C++ e luo si fang kuai
- 2022-02-03 03:57:21下载
- 积分:1
-
高速PCB设计常见问题,有兴趣的朋友这下子可算是有福气了。
高速PCB设计常见问题,有兴趣的朋友这下子可算是有福气了。-High-speed PCB design frequently asked questions, are interested in can be regarded as Friend Now the lucky.
- 2022-02-14 22:37:15下载
- 积分:1
-
c语言写的一个迷宫游戏,是在visual c++环境下编写的
c语言写的一个迷宫游戏,是在visual c++环境下编写的-c language written in a maze game in visual c++ environment, prepared
- 2022-02-06 00:50:03下载
- 积分:1