您要查找的是不是：
- TMN密碼協(xié)議的SMV分析SMV Analysis of TMN Cryptographic Protocol
- 密碼協(xié)議的SMV分析:實(shí)例研究Using SMV for Cryptographic Protocol Analysis: A Case Study
- 密碼協(xié)議的邏輯分析與設計Logic Analysis and Design of Cryptographic Protocols
- 三方密碼協(xié)議運行模式分析法Running-Mode Analysis of the Three-Party Cryptographic Protocol
- 密碼協(xié)議cryptographic protocol
- 達成協(xié)議make terms
- 代理協(xié)議的制定很仔細，我們沒(méi)有發(fā)現里面有什么漏洞。The agency agreement is make out with great care and we have find no loophole in it.
- 保密協(xié)議Confidentiality agreement
- 基于PVS的密碼協(xié)議形式化規范Formal Specification of Cryptographic Protocols Using PVS
- 協(xié)議的細節需要更加確切的表達。The details of the agreement need more exact statement.
- 最初的會(huì )談是后來(lái)達成協(xié)議的基礎。The initial talks were the base of the later agreement.
- 基于比特承諾的計算安全量子密碼協(xié)議Founding Computationally Secure Quantum Cryptography Protocols Based on Bit Commitment
- 基于SMV的網(wǎng)絡(luò )協(xié)議形式化分析與驗證Formal Analysis and Verification for Network Protocols Based on SMV
- 如果你不想讓你所訪(fǎng)問(wèn)的網(wǎng)站知道你的身份信息,你需要使用支持特定協(xié)議的軟件。You need to use protocol-specific support software if you don't want the sites you visit to see your identifying information.
- 使用構造類(lèi)別代數描述和驗證密碼協(xié)議Using construct categorical algebra language for formal description of cryptographic protocol
- 她沒(méi)有遵守協(xié)議的條款She does not abide by the term of the agreement
- 伯恩: 現在我們有了付款總額的確切數字，我想是為這個(gè)項目起草一個(gè)正式協(xié)議的時(shí)候了。Now that we've got the exact figure for the total payment,I think it's time to draft a formal agreement for the package.
- 一種用于密碼協(xié)議形式化驗證的簡(jiǎn)單邏輯A Logic for Formal Verification and Design of Cryptographic Protocols
- 首先,對Diameter、EAP和PANA協(xié)議進(jìn)行了較深入的研究分析。In this dissertation, the primary work includes:Firstly, the thorough research and analysis of Diameter, EAP and PANA protocols is done.
- 達成協(xié)議的可能性當時(shí)顯得微乎其微。Agreement did not seem remotely possible at the time.
