您要查找的是不是:
- protocol formal analysis method 协议形式化分析
- Research to Formal Analysis Methods for Public-Key Authentication Protocols 公钥密码体制下认证协议的形式化分析方法研究
- A Comparison Between Two Formal Analysis Methods on Authentication Protocols 认证协议两种形式化分析方法的比较
- formal analysis method 形式化方法
- Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step. 形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
- This analysis method possesses the applicat... 该分析方法在同类产品中有应用的可能性。
- A formal correctness analysis method of EWF_net was given based on the analysis techniques of Petri-net. 在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方法.
- Research of the Analysis Method of Lutein in Tagetes Patula L. 万寿菊中叶黄素的分析方法研究。
- Surface active agents - Sodium dodecyl sulfate - Analysis method. 表面活性剂。十二烷基硫酸钠。分析方法。
- Improvement of analysis method of dilution ratio on BOD. 生化需氧量测试方法稀释比的改良
- Method: to adopt the HPLC and chemical analysis method. 方法:高效液相色谱法和化学分析法。
- Strand space model is a new formal analysis tool to the analysis of cryptogram protocol. 串空间模型是一种新兴的密码协议形式化分析工具。
- Purity analysis method of Industrial Iso Nonyl Alcohol was... 目前国外尚未见公开报道。
- It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol. 利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞,已成为密码学中一个新的研究方向。
- And its formal analysis is presented using authentication test theory in the strand spaces.Finally its applications to TLS protocol are discussed. 用串空间的认证测试理论对其进行了形式分析,最后探讨了它在TLS协议中的应用。
- This paper analyzes the TMN protocol comprehensively using a formal analysis metho called the Running-Mode Analysis and uncovers a number of attacks on the TMN protocol. 摘要利用运行模式分析法对TMN协定进行了全面的分析,发现了对它的10类19种攻击形式。
- The paper introduces the steps of the unit classification analysis method. 介绍了单元聚类分析步骤。
- But it makes the more puzzling point that even if players have no concern other than their own profit, it is not rational for them to play the way formal analysis predicts. 不过,旅人两难多了一个令人迷惑的重点,就算是玩家只考虑自己的获益,他们仍然不认为形式分析所预测的玩法是理性的。
- OBJECTIVE To establish a fingerprint analysis method of Japanese Chuanxiong. 目的建立日本川芎药材的指纹图谱分析方法。
- The Kjeldahl is a general analysis method for determining nitrogen in rubber. 凯氏定氮法是测定橡胶中氮含量的常规分析方法。