您要查找的是不是：
- Needham-Schroeder认证协议Needham-Schroeder authentication protocol
- Needham-Schroeder公钥协议的模型检测分析Model Checking Analysis of Needham-Schroeder Public-Key Protocol
- 认证authenticate
- 协议pact
- 采用BAN逻辑对著名的Needham Schroeder(NS)协议建立理想化协议模型 ,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性 .BAN logic was used to construct an ideal model of the well known Needham Schroeder protocol.
- 本文使用这种反向验证方法验证了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.
- 安全认证Security Certificate
- 协议的consultative
- 认证机构certification authority
- Schroeder方程SchrSder equation
- 达成协议make terms
- Cercion plagiosum(Needham); 山(?)They are Coenagrionidae: Cercion plagiosum(Needham);
- 补充协议complementary agreement
- 保密协议Confidentiality agreement
- 基于公开密钥算法的可否认认证协议Deniable Authentication Protocol Based on Public Key Algorithm
- 网络协议network protocol
- 合作协议cooperation agreement
- 通信协议communication protocols
- 传输协议transport protocols
- 这种方法采用的认证协议同时结合了公钥加密和密钥加密技术。The proposed security and authentication protocol made use to the combination of public key and secret key to provide such ploy.
