| 单词 | formal analysis | ||||||||||||||
| 释义 | formal analysis
更多释义 收起释义 例句释义: 形式分析,形式化分析,正式分析 1. It should, then, be safe to assume that virus writers can and will find ways to break the formal analysis techniques as well. 所以我们应该保守地假设病毒作者也能够而且将会发现破坏形式分析技术的办法。 www.pediy.com 2. Among the authentication protocol analysis methods, formal analysis of security protocol is effective method. 浅析浅析认证协议安全性的策略中，形式化浅析浅析策略是比较有效的策略。 www.zidir.com 3. Chapter one focuses on the eight etudes through formal analysis and detailed study of compositional characteristics. 第一章，针对该册共八首练习曲一一进行宏观结构的剖析与细部特征的放大。 paper.pet2008.cn 4. There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes. 存在这样一种风险，即实现过程中引入的更改不会经过正式分析和管理流程。 www.ibm.com 5. In general, the author studies the related formal analysis technology of E-commerce protocols from two aspects, theory and application. 总的来说，从理论到实践两个层面上研究了电子商务协议的形式化分析的相关技术。 www.fabiao.net 6. In other words, the programmer does not stand to benefit from breaking the formal analysis. 换句话说，程序设计者绝不会因破坏形式分析而获得好处。 www.pediy.com 7. Period in which the division will Taizong formal analysis of the Shannan dong Dao and Shannan xi Dao. 其中将太宗时期所区划的山南道正式析为山南东道和山南西道。 www.fabiao.net 8. Finally a good formal analysis of a concrete protocol was given. 最后对一个协议实例进行了有效的形式化分析。 www.ceps.com.tw 9. We extend the semantics and reasoning rules of the belief logic BAN, and formal analysis of TEENP is presented using logic BAN. 扩充了类BAN信任逻辑的语义和逻辑推理规则，并用信任逻辑BAN对其进行了形式化分析。 www.elecfans.com 10. In this article we enumerate, using an example, the promises and pitfalls of formal analysis. 本文使用一个例子列举出形式分析给我们提供的承诺和存在的陷阱。 www.pediy.com 1. Formal Analysis of Nondeterminism Path Test Problem and a Transform Algorithm 非定态路径测试问题的分析与一种转换算法 www.ilib.cn 2. Live-fingerprint based user identity authentication protocol and its formal analysis 一个基于活体指纹的用户身份认证协议及其形式化分析 www.ilib.cn 3. Formal Analysis and Modification of an Authentication Protocol in Military Network 一个军网身份鉴别协议的形式化分析及修正 www.ilib.cn 4. Research on formal security policy model specification and its formal analysis 安全策略模型规范及其形式分析技术研究 service.ilib.cn 5. A Hybrid Cryptosystem-Based Non-Repudiation Protocol and Its Formal Analysis 一种基于混合密码体制的不可否认协议及其形式化分析 www.ilib.cn 6. An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis 电子证据与反拒认协议及形式化分析 ilib.cn 7. Formal Analysis of an Authentication Solution 一种认证方案的形式分析 www.ilib.cn 8. Formal Analysis and Design Principles of Cryptographic Protocols 密码协议的形式化分析与设计原则 www.ilib.cn 9. Research to Formal Analysis Methods for Public-Key Authentication Protocols 公钥密码体制下认证协议的形式化分析方法研究 www.ilib.cn 10. Formal Analysis of a Non-Repudiation Protocol ZG 一个非否认协议ZG的形式化分析 www.ilib.cn 1. The discussion of formal analysis for authentication protocols 认证协议形式分析的讨论 service.ilib.cn 2. Formal analysis technology of non-repudiation protocols 非否认协议形式化分析技术 www.ilib.cn 3. A Comparison Between Two Formal Analysis Methods on Authentication Protocols 认证协议两种形式化分析方法的比较 service.ilib.cn 4. A Fair Non-Repudiation Protocol and Its Formal Analysis 一个公平不可抵赖协议及其形式化分析 168.160.184.82:8080 5. A formal analysis on the developing goal of modern China politics: thinking on a new way 当代中国政治发展目标的规范分析：一条新道路之思考 www.ilib.cn 6. A New Approach for the Formal Analysis of Electronic Commerce Protocols 电子商务协议形式化分析的一种新方法 www.ilib.cn 7. A Non-Repudiation Protocol for E-Mail and Its Formal Analysis 一种面向电子邮件的不可否认协议及其形式化分析 www.ilib.cn 8. A formal analysis of multicast group dynamic management protocol IGMP 多播组动态管理协议IGMP的形式化分析 service.ilib.cn 9. A formal analysis method for authentication protocols 一种安全协议的形式化验证方法 www.ilib.cn 10. Formal Analysis and Verification for Authentication Process of WAPI WAPI接入鉴别过程的形式化分析与验证 ilib.cn 1. Formal Analysis on the Optimal Control Power Arrangement in Modern Firms 现代企业最优控制权安排的规范性解释 service.ilib.cn 2. A Mixed Formal Analysis Technology of Security Protocols 一种混合的安全协议形式化分析技术 www.ilib.cn 3. Review of security protocols and their formal analysis 安全协议及其形式化分析研究 www.ilib.cn 4. Formal Analysis of Security Protocol Based on Process Calculus and Knowledge Derivation 基于进程演算和知识推理的安全协议形式化分析 scholar.ilib.cn 5. Formal Analysis on UML Real-Time Activity Diagram UML实时活动图的形式化分析 scholar.ilib.cn 6. Formal Analysis for Network Security Protocols Based on Trace Semantics 基于迹语义的网络安全协议形式化分析 ilib.cn 7. Formal Analysis of Fair E-Commerce Protocols Based on ATL 基于ATL的公平电子商务协议形式化分析 www.ilib.cn 8. Formal analysis of e-commerce protocols based on game 基于博弈的电子商务协议分析 www.ilib.cn |
||||||||||||||
| 随便看 |
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。