串空间,strand space英语短句,例句大全

串空间,strand space
1)strand space串空间
1.Application of strand space theory to formalization analyses of network protocol;串空间理论在网络安全协议形式化分析中应用
2.The Strand Space Model of NSSK Protocol and Its Analysis;NSSK协议的串空间模型及分析
3.Guttman presented a new cryptographic formal model, namely the strand space model,which was based on the Dolev-Yao algebraic model and combined with the advantages of Woo-Lam model, CSP, Schneider s rank function and Paulson induction method.串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法。

英文短句/例句

1.Research on the Protocol Analysis Based on Strand Space Model;基于串空间模型的协议验证技术研究
2.Analyzing ZG Optimistic Non-repudiation Protocol with Strand Spaces用串空间分析ZG乐观不可否认协议
3.Analysis of IEEE 802.11i Based on Extend Strand Space Model基于扩展串空间模型的IEEE802.11i分析
4.THE STRAND SPACE MODEL OF NEUMAN-STUBBLEBINE PROTOCOL AND ITS ANALYSISNeuman-Stubblebine协议的串空间模型及分析
5.Validation for RPC Protocol Based On Strand Space串空间模型对RPC协议机密性的验证
6.The Strand Spaces Theory and Its Application to the Analysis of Security Protocols;串空间理论及其在安全协议分析中的应用研究
7.Research on Security of E-Commerce Protocol Based on Strand Space;基于串空间理论的电子商务协议安全性研究
8.The Extension and Application of Strand Space Model and Authentication Tests串空间模型及其认证测试方法的扩展与应用
9.Research on Formal Analysis Methods of Authentication Protocols Based on Strand Space Model基于串空间模型的认证协议分析方法研究
10.Strand Spaces Analysis of Fairness on Fair Exchange Protocol公平交换协议公平性的串空间分析方法
11.New proof of confidentiality and originality of data in strand space串空间中数据机密性与起源性的新证明
12.ANALYSIS AND VERIFICATION ON MULTI-PROTOCOL GUESSING ATTACKS BASED ON STRAND SPACE MODEL基于串空间模型的多协议猜测攻击验证分析
13.Cannot use an empty string to reference a namespace.无法使用空字符串引用命名空间。
14.Investigation on Breakdown Probability of Series-Connected Vacuum Gaps;串联真空间隙冲击击穿统计特性研究
15.Repairable Parallel-Series Systems State-transferring Diagram Analysis;可修并-串联系统的状态转移空间分析
16.Repairable series-parallel systems state-transferring diagram analysis;可修串-并联系统的状态转移空间分析
17.Working space analysis on a kind of new typed series-parallel machine tool一种新型串并联机床的工作空间分析
18.Optional string specifying the namespace where the update is to be performed.指定更新在其中执行的名称空间的可选字符串。

相关短句/例句

strand spaces串空间
1.A new algorithm for constructing invariant-sets based on strand spaces;一种基于串空间的不变集生成算法
2.Formal analysis to revised Helsinki protocol based on strand spaces;改进型Helsinki协议的串空间模型分析
3.Formal specification and verification of andrew secure RPC protocol based on strand spaces model;基于串空间模型的Andrew RPC协议的分析与验证
3)diagrams of the strand spaces串空间图
1.We further describe the state systems developed by the indexed principal processes as the diagrams of the strand spaces.将主体角色发送和接收消息的行为分别表示为相应的主体角色发送进程和接收进程,定义前缀(串行)和并发运算为主体角色进程演进的算子,并进一步将主体角色进程演进的状态系统描述为密码协议的串空间图。
4)Subspace cluster子空间串
5)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.形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。
6)mixed strand space混合串空间