1.
Research on the Protocol Analysis Based on Strand Space Model;
基于串空间模型的协议验证技术研究
2.
Analysis of IEEE 802.11i Based on Extend Strand Space Model
基于扩展串空间模型的IEEE802.11i分析
3.
THE STRAND SPACE MODEL OF NEUMAN-STUBBLEBINE PROTOCOL AND ITS ANALYSIS
Neuman-Stubblebine协议的串空间模型及分析
4.
Validation for RPC Protocol Based On Strand Space
串空间模型对RPC协议机密性的验证
5.
The Extension and Application of Strand Space Model and Authentication Tests
串空间模型及其认证测试方法的扩展与应用
6.
Research on Formal Analysis Methods of Authentication Protocols Based on Strand Space Model
基于串空间模型的认证协议分析方法研究
7.
ANALYSIS AND VERIFICATION ON MULTI-PROTOCOL GUESSING ATTACKS BASED ON STRAND SPACE MODEL
基于串空间模型的多协议猜测攻击验证分析
8.
Research on Formal Verification Methods of Security Protocols Based on Strand Space Model;
基于串空间模型的安全协议形式化验证方法的研究
9.
Research on the Formal Analysis Technology to Security Protocols Based on Strand Space Model;
基于串空间模型的安全协议形式化分析技术研究
10.
Research on Analysis and Design of Cryptographic Protocols Based on Generalized Strand Space Model;
基于广义串空间模型的密码协议设计与分析的研究
11.
Working space analysis on a kind of new typed series-parallel machine tool
一种新型串并联机床的工作空间分析
12.
Prediction Models for Spatial Data Based on Spatial Autocorrelation
融合空间自相关的空间数据预测模型
13.
Research on 6-DOF Spatial Model Based on Spatial Tree
基于空间树的六自由度空间模型研究
14.
STATE TRANSITION MODEL OF A DISCRETE-TIME SERIAL REPAIRABLE SYSTEM
离散时间下串联可修系统的状态转移模型
15.
Research and analysis on the construction and workspace of the LINKS-EXE 700 Serial-Parallel Machine Tool
新型串并联机床LINKS-EXE700型加工中心结构与工作空间的分析与研究
16.
Measurement Model of the Triple Performance of Business:Space Geometric Model;
企业三重绩效评价模型—空间几何模型
17.
The string for file namespace or type name must be a valid identifier.
用于文件命名空间或类型名的字符串必须是有效的标识符。
18.
Spacial Distribution Model of Field Stimulated by Airborne Source
空气中声源激发声场的空间分布模型