您要查找的是不是:
- TMN密码协议的SMV分析SMV Analysis of TMN Cryptographic Protocol
- 密码协议的SMV分析:实例研究Using SMV for Cryptographic Protocol Analysis: A Case Study
- 密码协议的逻辑分析与设计Logic Analysis and Design of Cryptographic Protocols
- 三方密码协议运行模式分析法Running-Mode Analysis of the Three-Party Cryptographic Protocol
- 密码协议cryptographic protocol
- 达成协议make terms
- 代理协议的制定很仔细,我们没有发现里面有什么漏洞。The agency agreement is make out with great care and we have find no loophole in it.
- 保密协议Confidentiality agreement
- 基于PVS的密码协议形式化规范Formal Specification of Cryptographic Protocols Using PVS
- 协议的细节需要更加确切的表达。The details of the agreement need more exact statement.
- 最初的会谈是后来达成协议的基础。The initial talks were the base of the later agreement.
- 基于比特承诺的计算安全量子密码协议Founding Computationally Secure Quantum Cryptography Protocols Based on Bit Commitment
- 基于SMV的网络协议形式化分析与验证Formal Analysis and Verification for Network Protocols Based on SMV
- 如果你不想让你所访问的网站知道你的身份信息,你需要使用支持特定协议的软件。You need to use protocol-specific support software if you don't want the sites you visit to see your identifying information.
- 使用构造类别代数描述和验证密码协议Using construct categorical algebra language for formal description of cryptographic protocol
- 她没有遵守协议的条款She does not abide by the term of the agreement
- 伯恩: 现在我们有了付款总额的确切数字,我想是为这个项目起草一个正式协议的时候了。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.
- 一种用于密码协议形式化验证的简单逻辑A Logic for Formal Verification and Design of Cryptographic Protocols
- 首先,对Diameter、EAP和PANA协议进行了较深入的研究分析。In this dissertation, the primary work includes:Firstly, the thorough research and analysis of Diameter, EAP and PANA protocols is done.
- 达成协议的可能性当时显得微乎其微。Agreement did not seem remotely possible at the time.