1) strand space model
串空间模型
1.
Research on the Formal Analysis Technology to Security Protocols Based on Strand Space Model;
基于串空间模型的安全协议形式化分析技术研究
2.
The 3GPP(Third Generation Partnership Project) authentication and key agreement(AKA) was formally analyzed with the strand space model and authentication tests.
基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法。
3.
In the paper we discuss the basic concept of strand space model and test method based on strand space model SSL3.
形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。
2) strand space
串空间模型
1.
we introduce the basic concept and theory of strand space and analyze three branches of strand space in detail, not only their theory but also how to apply them to analyze protocols in practice.
本文简要介绍了串空间模型的符号系统及其基本概念和理论,分析了基于串空间模型的极小元、理想与诚实、认证测试方法这三个分支的原理和应用场合,并体现了串空间模型的特点及优势。
3) Generalized strand space model
广义串空间模型
1.
Research on Analysis and Design of Cryptographic Protocols Based on Generalized Strand Space Model;
基于广义串空间模型的密码协议设计与分析的研究
4) spatial model
空间模型
1.
The research of spatial model of suburb tourism in foreign metropolis;
国外大都市郊区旅游空间模型研究
2.
The time model and spatial model of gold-bearing shear zone are emphasized through research on the performance of shear zone gold deposits in this paper.
重点介绍了含金剪切带时间演化模型和含金剪切带的组构空间模型。
3.
The GIS spatial model for minerogenetic prediction used to delineate the “5P” ore_finding areas is proposed in this paper.
根据赵鹏大教授提出的“５ Ｐ”找矿地段逐步逼近法，对其分析、归纳、总结、综合，在 Ｇ Ｉ Ｓ现有功能的基础上，提出圈定“５ Ｐ”找矿地段的 Ｇ Ｉ Ｓ 成矿预测的空间模型，并以云南某地区铅锌矿 Ｇ Ｉ Ｓ预测为例，根据已收集的资料，圈定出其“５ Ｐ”找矿地段中的成矿可能地段、找矿可行地
5) space model
空间模型
1.
Study on the structure and idiographic space model of expedite city;
畅通城市结构和具体空间模型初探
2.
By use of space model theory, kinematic charcteristics of a 2 DOF planar structure are studied, and positive and negative solutions to machine kinematics are given.
利用机构尺寸型空间模型理论 ,研究了机床主运动模块平面二自由度机构的运动特性 ,给出了机构运动学的正反解 。
3.
This text makes use of simplified space model.
利用简化的空间模型,讨论了结构在水平地震力作用下,由于侧移刚度矩阵计算方法不同而产生的结构地震效应。
6) model space
模型空间
1.
Drawing in model space or paper space;
模型空间与图纸空间中的绘图处理
2.
It provide two kinds of drawing environment toward the customer: the model space and paper space.
AutoCAD在机械行业使用极为广泛,为用户提供了两种绘图环境:即模型空间和图纸空间。
3.
Now, the program of AutoCAD has been designed paper space for plotting, through comparing with model space, this article deals with that paper space plot is better and easier in no 1∶1 scale especially.
现在的AutoCAD软件设计了出图的环境———图纸空间 ,本文论述了图纸空间中布局的概念 ,通过与模型空间出图的比较 ,阐述了图纸空间出图的优越
补充资料：珍珠串模型
分子式：
CAS号：
性质：又称珍珠串模型。模型把高分子链抽象成为由一条线把x个均匀的刚性小珠自由连接起来的珍珠串，线的作用限于界定相邻小珠的距离，而摩擦性质同珍珠的大小和珍珠间的疏密程度有关。用于研究高分子柔性链的摩擦性质，把分子链构象及链段与溶剂的相互作用等因素同摩擦性质联系起来。
CAS号：
性质：又称珍珠串模型。模型把高分子链抽象成为由一条线把x个均匀的刚性小珠自由连接起来的珍珠串，线的作用限于界定相邻小珠的距离，而摩擦性质同珍珠的大小和珍珠间的疏密程度有关。用于研究高分子柔性链的摩擦性质，把分子链构象及链段与溶剂的相互作用等因素同摩擦性质联系起来。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条