-
: 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
-
同济大学的 陈以一教授的《钢结构基本原理》第3章
同济大学的 陈以一教授的《钢结构基本原理》第3章
- 2022-03-31 13:32:38下载
- 积分:1
-
使用C编写递归程序
使用C编写递归程序-prepared using recursive procedure C
- 2023-06-14 07:05:04下载
- 积分:1
-
看门狗程序
一个简看门狗程序,可以在KEIL上仿真,也可以在单片机上使用,定时几个脉冲后自动重新启动。连接在P05上的灯会跟随着脉冲不断的闪烁。
- 2022-12-02 01:45:04下载
- 积分:1
-
Own procedures, on the time slice of rotation scheduling algorithm.
自己的小程序,关于时间片轮转调度算法的。-Own procedures, on the time slice of rotation scheduling algorithm.
- 2022-03-21 17:23:02下载
- 积分:1
-
用于研究机器人的并联机器人的有用的朋友
并联机器人源程序,对于研究机器人的朋友很有用-parallel robot source for research robots useful friends
- 2023-04-21 15:15:02下载
- 积分:1
-
matlab 源程序,对于编程的同学很用,大家看看吧
matlab 源程序,对于编程的同学很用,大家看看吧-Matlab source for programming with the very students, we look at it
- 2022-01-24 09:05:26下载
- 积分:1
-
用java写的速算24游戏
用java写的速算24游戏-with the speed counting 24 games
- 2022-09-09 03:40:03下载
- 积分:1
-
帮人做一个小的心理测试程序,不时显示一个窝…
帮人做的一个心理测试小程序,每隔一段时间显示一个词和标记,要求被测试人员记住,之后回答问题要求记住的和忘记的,并将测试结果输入文件-help people do a small psychological test procedures from time to time show a word and markings required by the test Remember, after answering questions asked to remember and never forget that the test results will be imported paper
- 2022-03-30 12:30:42下载
- 积分:1
-
a Dazhuankuai code, which is very simple and very suitable to scholars
一个打砖块的代码,很简单,非常适合出学者-a Dazhuankuai code, which is very simple and very suitable to scholars
- 2022-04-19 07:08:26下载
- 积分:1