1.
Research on the Protocol Analysis Based on Strand Space Model;
基于串空间模型的协议验证技术研究
2.
Analyzing ZG Optimistic Non-repudiation Protocol with Strand Spaces
用串空间分析ZG乐观不可否认协议
3.
Analysis of IEEE 802.11i Based on Extend Strand Space Model
基于扩展串空间模型的IEEE802.11i分析
4.
THE STRAND SPACE MODEL OF NEUMAN-STUBBLEBINE PROTOCOL AND ITS ANALYSIS
Neuman-Stubblebine协议的串空间模型及分析
5.
Validation for RPC Protocol Based On Strand Space
串空间模型对RPC协议机密性的验证
6.
The Strand Spaces Theory and Its Application to the Analysis of Security Protocols;
串空间理论及其在安全协议分析中的应用研究
7.
Research on Security of E-Commerce Protocol Based on Strand Space;
基于串空间理论的电子商务协议安全性研究
8.
The Extension and Application of Strand Space Model and Authentication Tests
串空间模型及其认证测试方法的扩展与应用
9.
Research on Formal Analysis Methods of Authentication Protocols Based on Strand Space Model
基于串空间模型的认证协议分析方法研究
10.
Strand Spaces Analysis of Fairness on Fair Exchange Protocol
公平交换协议公平性的串空间分析方法
11.
New proof of confidentiality and originality of data in strand space
串空间中数据机密性与起源性的新证明
12.
ANALYSIS AND VERIFICATION ON MULTI-PROTOCOL GUESSING ATTACKS BASED ON STRAND SPACE MODEL
基于串空间模型的多协议猜测攻击验证分析
13.
Cannot use an empty string to reference a namespace.
无法使用空字符串引用命名空间。
14.
Investigation on Breakdown Probability of Series-Connected Vacuum Gaps;
串联真空间隙冲击击穿统计特性研究
15.
Repairable Parallel-Series Systems State-transferring Diagram Analysis;
可修并-串联系统的状态转移空间分析
16.
Repairable series-parallel systems state-transferring diagram analysis;
可修串-并联系统的状态转移空间分析
17.
Working space analysis on a kind of new typed series-parallel machine tool
一种新型串并联机床的工作空间分析
18.
Optional string specifying the namespace where the update is to be performed.
指定更新在其中执行的名称空间的可选字符串。