串空间模型,strand space model
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 thestrand space model and authentication tests.基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法。
3.In the paper we discuss the basic concept ofstrand space model and test method based onstrand space model SSL3.形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。
英文短句/例句
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 ANALYSISNeuman-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空气中声源激发声场的空间分布模型
相关短句/例句
strand space串空间模型
1.we introduce the basic concept and theory ofstrand space and analyze three branches ofstrand 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 ofspatial model of suburb tourism in foreign metropolis;国外大都市郊区旅游空间模型研究
2.The time model andspatial model of gold-bearing shear zone are emphasized through research on the performance of shear zone gold deposits in this paper.重点介绍了含金剪切带时间演化模型和含金剪切带的组构空间模型。
3.The GISspatial 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 idiographicspace model of expedite city;畅通城市结构和具体空间模型初探
2.By use ofspace 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 simplifiedspace model.利用简化的空间模型,讨论了结构在水平地震力作用下,由于侧移刚度矩阵计算方法不同而产生的结构地震效应。
6)model space模型空间
1.Drawing inmodel space or paper space;模型空间与图纸空间中的绘图处理
2.It provide two kinds of drawing environment toward the customer: themodel space and paper space.AutoCAD在机械行业使用极为广泛,为用户提供了两种绘图环境:即模型空间和图纸空间。
3.Now, the program of AutoCAD has been designed paper space for plotting, through comparing withmodel space, this article deals with that paper space plot is better and easier in no 1∶1 scale especially.现在的AutoCAD软件设计了出图的环境———图纸空间 ,本文论述了图纸空间中布局的概念 ,通过与模型空间出图的比较 ,阐述了图纸空间出图的优越
延伸阅读
珍珠串模型分子式：CAS号：性质：又称珍珠串模型。模型把高分子链抽象成为由一条线把x个均匀的刚性小珠自由连接起来的珍珠串，线的作用限于界定相邻小珠的距离，而摩擦性质同珍珠的大小和珍珠间的疏密程度有关。用于研究高分子柔性链的摩擦性质，把分子链构象及链段与溶剂的相互作用等因素同摩擦性质联系起来。
