您要查找的是不是：
- Schroeder方程SchrSder equation
- Needham-Schroeder认证协议Needham-Schroeder authentication protocol
- Needham-Schroeder公钥协议的模型检测分析Model Checking Analysis of Needham-Schroeder Public-Key Protocol
- 显然是Schroeder首先提出了有关海底藻类的资料。Schroeder was apparently the first to offer some information about the benthic algae
- 蒸气压方程vapor pressure equation
- 麦克斯韦(电磁)场方程(式)Maxwell field equations
- 次数多项式或多项式方程中变量的幂的最大数The greatest sum of the exponents of the variables in a term of a polynomial or polynomial equation.
- 高次代数方程求根finding roots of polynomial equation
- 采用BAN逻辑对著名的Needham Schroeder(NS)协议建立理想化协议模型 ,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性 .BAN logic was used to construct an ideal model of the well known Needham Schroeder protocol.
- 初等常微分方程elementary ordinary differential equation
- 声呐方程sonar equations
- 本文使用这种反向验证方法验证了A(0)协议和Needham-Schroeder公开密钥协议，给出了推导过程以及攻击路径，并且定位了协议所存在的问题。This document verified A(0) protocol and Needham-Schroeder public key protocol with the reversing verification method, with the reasoning process and attacking trace being given and the protocol problem being located.
- 数学方程原理the theory of equations in mathematics
- WZ方程WZ equation
- 方程解solution of equation
- KdV方程KdV equation
- N-S方程N-S equations
- BBM方程BBM equation
- KP方程KP equation
- FPK方程FPK equation
