1.
Research on the Agent-based Authentication Protocol Model in the Web Service;
基于代理的Web服务认证协议模型研究
2.
Model Checking of WLAN IEEE 802.11 Authentication Protocol;
无线局域网IEEE802.11认证协议的模型检测
3.
Formalized analysis for authentication test model of TLS
TLS协议认证测试模型与形式化分析
4.
Fast authentication protocol based on the Canetti-Krawczyk model
一种Canetti-Krawczyk模型下的快速认证协议
5.
Analysis of Needham-Schroeder Symmetric Key Authentication Protocol Based on Model Checking
基于模型检测的NS公钥认证协议分析
6.
Efficient Password-Based Authenticated Key Exchange Protocol under Standard Model
标准模型下高效的基于口令认证密钥协商协议
7.
Modularization Design and Implementation of the Port Based Access Control Protocol Authentication Model;
访问控制协议认证模型的模块化设计与实现
8.
Research on Formal Analysis Methods of Authentication Protocols Based on Strand Space Model
基于串空间模型的认证协议分析方法研究
9.
ON STREAMING MEDIA MUTUAL DIGEST AUTHENTICATION MODEL BASED ON RTSP
基于RTSP协议的流媒体双向认证模型的研究
10.
Enhanced Identity-Based Authenticated Key Agreement Protocols in the Standard Model
标准模型下增强的基于身份的认证密钥协商协议
11.
Research on the Protocol Analysis Based on Strand Space Model;
基于串空间模型的协议验证技术研究
12.
Vertification of OSPF Protocol Based on Coloured Petri Net;
基于着色Petri网模型的OSPF协议验证
13.
Analyzing and Verifying Network Protocols by Model Checking
基于模型检查的网络协议分析与验证
14.
Validation for RPC Protocol Based On Strand Space
串空间模型对RPC协议机密性的验证
15.
The Analysis, Improvement and Implementation of the Authentication Mechanism in IKE Main Mode Protocol;
IKE协议主模式认证机制的分析改进及实现
16.
a written confirmation, agreement, evidence
书面的确认、 协议、 证据.
17.
An Authentication Protocol for Station Roaming in WLAN Mesh
WLAN Mesh漫游接入认证协议
18.
Attestation proxy party-supported remote attestation model and its secure protocol
支持验证代理方的远程证明模型及其安全协议