您要查找的是不是:
- Strand space model is a new formal analysis tool to the analysis of cryptogram protocol. 串空间模型是一种新兴的密码协议形式化分析工具。
- It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol. 利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞,已成为密码学中一个新的研究方向。
- Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step. 形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
- 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种攻击形式。
- 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. 不过,旅人两难多了一个令人迷惑的重点,就算是玩家只考虑自己的获益,他们仍然不认为形式分析所预测的玩法是理性的。
- Formal analysis of cryptographic protocol becomes international hot spot in researching, the security of cryptographic protocol can be judged by Formal analysis of cryptographic protocol. 摘要密码协议的形式化正在成为国际上研究的热点,通过形式化分析密码协议来判断密码协议是否安全可靠。
- The pervasive use of the Nash equilibrium is the main reason why so many formal analyses predict this outcome for TD. 由于大家普遍使用纳许均衡解的想法,因此许多针对旅人两难的形式分析,才都会预测出这个结果。
- Formal Analysis of a Non-Repudiation Protocol ZG 一个非否认协议ZG的形式化分析
- Formal Analysis of an Authentication Solution 一种认证方案的形式分析
- Formal Analysis on UML Real-Time Activity Diagram UML实时活动图的形式化分析
- Formal Analysis of PIM-SM Protocol Based on LOTOS 基于LOTOS的PIM-SM协议形式化分析
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
- The second case takes a much more restrictive view, eschews economic analysis, and instead relies on a formalistic analysis of the nature of the regulatory requirement. 第二案例采取了严厉得多的限制手段,避开经济分析,着眼于对受规章限制的要求的本质,进行形式上的分析。
- Don't you be so fucking formal with me. 别你他妈的对我这么一本正经了。
- The letter is written in formal style. 这封信是用正式文体写的。
- Modern life trends towards less formal customs. 现代生活倾向于较少拘泥于客套习俗。
- The job does not require any formal training. 做这种工作不需要任何正规训练。
- I'm composing a formal reply to the letter. 我正写一封郑重其事的回信。