串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
基于恶意攻击软件的工作原理对串空间理论进行了扩展；
Strand-space theory based on vicious-attack-software mechanism is extended.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
定义开丛为串空间图的构造单元，并在开丛集上定义前缀算子和组合算子。
And the two operators such as prefixing and parallel composition over the set of open bundles are defined.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
文章基于串空间模型，扩展了认证测试方法，使之能够描述和分析电子商务协议。
Based on strand space, we extend the authentication tests method. Using this method, E-commerce protocol can be described and analyzed.
用串空间的认证测试理论对其进行了形式分析，最后探讨了它在TLS协议中的应用。
And its formal analysis is presented using authentication test theory in the strand Spaces. Finally its applications to TLS protocol are discussed.
串空间模型是安全协议分析的一种重要工具，它具有良好的语义，但其分析过程难度较大。
The strand space model is a very important tool of analyzing security protocol, and it has good semantics, but it is difficult to analyze security protocol.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
试验测量了13片XP- 160型绝缘子串空间电场分布特性，并与仿真结果进行比较分析。
The space electric field distribution characteristic of XP-160 type string (13 pieces) was measured by test, and those results were compared with the simulation results.
本文扩展了串空间模型及其认证测试方法，增强了其对丰富密码学中一些复杂操作的分析和描述能力。
This dissertation extends the strand space model and its authentication test, which can enhance the analyses and description of some cryptographic primitives rich in cryptographic primitives.
分析了在描述公平协议时，串空间模型需要进行的几个扩展，包括：描述协议步骤在什么情况可以执行的扩展；
Some extension of strand space model are needed to analyse fair protocol including:the extension to specify in what condition the protocol steps are ready to be executed;
字符串和字符数组在典型的业务应用程序中占用了大量的空间，所以它们是另一个值得分析的方面。
Strings and character arrays occupy a large amount of space in a typical business application, so they are another area worthy of analysis.
参数类型和值空间对应于XML模式数据类型；该类型可以是布尔或字符串类型。
The parameter type and value space corresponds to the XML schema data types; it can be of type boolean or string.
清单3显示了使用php名称空间定义本地和全局字符串常量的一个例子。
Listing 3 shows an example of using PHP namespaces to define local and global string constants.
包含要添加到每个表定义中的表空间信息的字符串。
A string containing tablespace information to be added to each table definition.
奋进号航天飞机已经准备就绪，发射前往国际空间站。在此之前，一连串恶劣的天气推迟了发射。
Space shuttle Endeavour is set to launch on a mission to the International Space Station, after a series of weather delays.
所以在使用了命名空间的文档中，您几乎总是需要进行两次字符串比较，如清单3所示。
So in namespaced documents, you almost always need to perform two string comparisons, as shown in Listing 3.
对缺省名称空间初始化，使之完全不是名称空间 URI，这样就存在一个语法，它通过向以前定义的缺省名称空间分配空字符串来取消对该名称空间的定义。
The default namespace is initialized to be no namespace-URI at all, so there is a syntax for undefining a previously-defined default namespace by assigning it to the null string.
以下XSL代码将字符串中的名称空间前缀转换为对应的名称空间URI。
The following XSL code translates the namespace prefix in a string to the corresponding namespace URI.
清单16包含作为静态整数的算法名称及其作为字符串的相应名称空间。
Listing 16 contains names of Algorithms as static integers and their corresponding namespaces as strings.
如果提供的字符串并不包含前缀，则对应的名称空间uri将为一个空字符串。
If the supplied string does not contain a prefix, the namespace URI is an empty string.
技术上，空字符串作为URI是有效的，但不允许作为名称空间uri。
Null strings are technically valid as URIs, but disallowed as namespace URIs.
名称空间是采用uri语法的字符串(常常不必要的称为“名称空间uri”)。
A namespace is a string with the syntax of a URI (often redundantly called the "namespace URI").
构建到XML 中的支持较少，但您可以将名称空间应用为文本字符串，就象这样
There is less support built into XML, but you can apply a namespace to a text string, like this
如果字符串的长度为零，则返回一个未破坏的空间，否则，返回seed和竞争者的名称。
If the length of the string is zero, return a nonbreaking space; otherwise, return the seed and the name of the contestant.
通过用户的查询调用buildInflectString，可以构建用于搜索向量空间的字母数字变形字符串。
BuildInflectString is called with the user's query to build a alphanumeric inflected string for searching the vector space.
通过用户的查询调用buildInflectString，可以构建用于搜索向量空间的字母数字变形字符串。
BuildInflectString is called with the user's query to build a alphanumeric inflected string for searching the vector space.
应用推荐