-
: 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
-
achieve a cell phone text message TX VC Serial Programming FOSS
一个实现手机收发短信的VC++串口编程源码-achieve a cell phone text message TX VC Serial Programming FOSS
- 2022-02-20 09:48:18下载
- 积分:1
-
Hirose_fpc_hf23
Hirose_fpc_hf23 Hirose_fpc_hf23
Hirose_fpc_hf23
Hirose_fpc_hf23
- 2022-08-17 20:09:23下载
- 积分:1
-
几种VB程序和案例
几种VB程序和案例-VB program and several cases
- 2023-03-24 07:50:04下载
- 积分:1
-
串口通讯程序,负责上位机
串口通讯程序,负责上位机-serial communication program for PC
- 2022-05-19 09:08:05下载
- 积分:1
-
牛顿-拉夫逊法潮流计算
基本步骤:
(1)形成节点导纳矩阵
(2)将各节点电压设初值U,
(3)将节点初值代入相关...
牛顿-拉夫逊法潮流计算
基本步骤:
(1)形成节点导纳矩阵
(2)将各节点电压设初值U,
(3)将节点初值代入相关求式,求出修正方程式的常数项向量
(4)将节点电压初值代入求式,求出雅可比矩阵元素
(5)求解修正方程,求修正向量
(6)求取节点电压的新值
(7)检查是否收敛,如不收敛,则以各节点电压的新值作为初值自第3步重新开始进行狭义次迭代,否则转入下一步
(8)计算支路功率分布,PV节点无功功率和平衡节点柱入功率。-Newton-Raphson method flow calculation basic steps : (1) formation of nodal admittance matrix (2) to set up the initial node voltage U, (3) the initial node-generation-related demand. calculated that the constant term formula Vector (4) nodes will be incorporated into the initial voltage-seeking, calculated Jacobian matrix elements (5) solving that equation, seek to amend the vector (6) to strike a new node voltage value (7) to check whether convergence, if not restrained. concentrated in the nodes of the new voltage as the initial value since the first three steps to re-start the narrow iterations. Otherwise, turn into the next (8) Calculation branch power distribution, PV nodes reactive power and balance-node into powe
- 2022-06-02 03:02:29下载
- 积分:1
-
一个有经验的书
一个比较老的好书-a veteran of the books
- 2023-04-20 04:20:03下载
- 积分:1
-
一个小的手机游戏(包括客户端和服务端)
一个小的手机游戏(包括客户端和服务端)-a small cell phone games (including client and server)
- 2022-04-21 17:08:42下载
- 积分:1
-
Arduino 试验
Arduino 的测试。他们是一个小的例子,我用我测试 arduino 的第一天。也许对你有用。它正在试图控制机器人未来 !!!
- 2023-04-22 13:25:04下载
- 积分:1
-
C++模拟Windows游戏扫雷系统
c++的模拟windows系统的扫雷游戏-c++ simulation windows game mine clearance system
- 2023-09-08 01:45:03下载
- 积分:1