1) Generalized strand space model
广义串空间模型
1.
Research on Analysis and Design of Cryptographic Protocols Based on Generalized Strand Space Model;
基于广义串空间模型的密码协议设计与分析的研究
2) 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.
形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。
3) 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.
本文简要介绍了串空间模型的符号系统及其基本概念和理论,分析了基于串空间模型的极小元、理想与诚实、认证测试方法这三个分支的原理和应用场合,并体现了串空间模型的特点及优势。
4) Generalized State Space Averaging model
广义状态空间平均模型
5) Generalized spatial varying-coefficient models
广义空间变系数模型
6) spatial pattern formation
广义空间分布型
1.
Three types of spatial pattern formation processes,distribution transformation,generalized distribution and compounded distribution,are studied.
从理论上研究了广义空间分布型和复合空间分布型的形成问题，解释了空间分布型的形成机理，并给出了１１种广义空间分布型和９种复合空间分布型；同时提出了空间分布型的３种判定方法：扩散系数法、空间相关法和参数变动法，它们可以用于区分常见的空间分布型，也可以用于判定分布型的形成过程；为研究空间分布型的形成机理和变化规律提供了有力的手段。
补充资料：广义Finsler空间
广义Finsler空间
Faster space, generalized
广义I勃目份空间「f岌‘肠凡班沈，罗班”万囚;巾I.HoeP。的npoeTpaoeTao 0606川e。。oe」 具有对最短曲线(即具有长度等于两端点之间距离的曲线)的性质有某些限制的内度t(internallne-tric)的空间.这类空间包括了G空间(见测地几何学(朗浏巴icg”Ine甸))，特别地，也包括Finsler空间(见E侧妙几何学(F加lerg泊metry))，因而所讨论的空间能被认为是F此ler，而不是RI日注曰nn空间的推广.广义F此1er空间与Fi璐h空间的不同不仅在于广义F此ler空间巨大的一般性，而且在于这样的事实，即定义及研究这类空间的出发点是度量，而不用坐标. G字回(G一spaCe)能定义为一个具有内度量的有限紧空间(即在其中的有界闭集是紧的)，在此内度量下，最短曲线局部地可唯一延伸，即下列两个条件被满足: l)延伸的存在性(撇tellCe of an extens沁n):每点有一邻域U，使得对每一条最短曲线月刀CU，存在一条最短线AC 0 AB，C护B. 2)延伸的唯一性(叨】q~。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条