您要查找的是不是：
- Schroeder方程SchrSder equation
- Needham-Schroeder認證協(xié)議Needham-Schroeder authentication protocol
- Needham-Schroeder公鑰協(xié)議的模型檢測分析Model Checking Analysis of Needham-Schroeder Public-Key Protocol
- 顯然是Schroeder首先提出了有關(guān)海底藻類(lèi)的資料。Schroeder was apparently the first to offer some information about the benthic algae
- 蒸氣壓方程vapor pressure equation
- 麥克斯韋(電磁)場(chǎng)方程(式)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邏輯對著(zhù)名的Needham Schroeder(NS)協(xié)議建立理想化協(xié)議模型 ,利用協(xié)議的初始假設和BAN邏輯的公設分析NS協(xié)議的安全性 .BAN logic was used to construct an ideal model of the well known Needham Schroeder protocol.
- 初等常微分方程elementary ordinary differential equation
- 聲吶方程sonar equations
- 本文使用這種反向驗證方法驗證了A(0)協(xié)議和Needham-Schroeder公開(kāi)密鑰協(xié)議，給出了推導過(guò)程以及攻擊路徑，并且定位了協(xié)議所存在的問(wèn)題。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.
- 數學(xué)方程原理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
