形式化分析,Formal analysis
1)Formal analysis形式化分析
1.Design and formal analysis of certified E-mail protocol;一种挂号电子邮件协议的设计及其形式化分析
2.Extended Rubin logic formal analysis of SSL protocol;SSL协议的扩展Rubin逻辑形式化分析
3.Live-fingerprint based user identity authentication protocol and its formal analysis;一个基于活体指纹的用户身份认证协议及其形式化分析
英文短句/例句
1.Designing and Formal Analysis Communication Protocol of CBTC System;CBTC系统通信协议的设计和形式化分析
2.Formal Analysis of Security Protocols Based on Universally Composable Framework;基于UC框架的安全协议形式化分析
3.The Security Mechanism Research and Formal Analysis Based on SET Protocol;SET协议的安全机制研究与形式化分析
4.The Formal Analysis Methods of Wireless Network Security Protocol;无线网络安全协议的形式化分析方法
5.Study on a Security Protocol Formal Analysis Tool一个安全协议形式化分析工具的研究
6.Universally Composable Formal Analysis of Sender Non-repudiation Protocol发送者非否认协议的UC形式化分析
7.Formal analysis method for secure dynamic source routing protocols一种安全DSR协议的形式化分析方法
8.Formalized analysis for authentication test model of TLSTLS协议认证测试模型与形式化分析
9.Methods for formal verification of large and complicated protocols大型复杂协议的形式化分析方法研究
10.Formalized Analyzing of Protocol Model Called Rdt2.2 base on Spin基于Spin的Rdt2.2及其改进的形式化分析
11.Survey on Formal Analysis of Kerberos 5Kerberos 5协议的形式化分析综述
12.Reference model and formal analysis for requirements of equipment systems装备体系需求参考模型及形式化分析
13.The Petri Net Based on the π-calculus and the Formal Analysis for Cryptographic Protocols;基于π-演算的Petri网和密码协议的形式化分析
14.The Formal Analysis and Control to Security Protocol of Telecommunication for Electric Power System;电力系统安全协议形式化分析技术研究
15.Workflow Execution Net Based on Formalized Pattern Analysis;基于形式化模式分析的工作流执行网
16.The Static-Dynamic Analysis and Optimization of Box-main-girder Bridge Crane;箱形梁桥式起重机静动态分析与优化
plexity Analysis and Mathematical Model of DNA-Based Self-Assembly;DNA自装配的复杂度分析及形式化模型
18.Formal Semantic Analysis of Quantifier Scope Ambiguity in English;英语量化词辖域歧义的形式语义分析
相关短句/例句
formalized analysis形式化分析
1.This paper introduces the BAN logicformalized analysis theory which is the formal logic analysis method, and the BAN logic description of authentication protocol in military network is proposed, the theoretic anal.本文对目前较为常用的形式逻辑分析方法——BAN逻辑的形式化分析理论进行了介绍 ,在此基础上对军网身份鉴别协议进行了BAN逻辑描述 ,并对协议的安全性进行了理论分析与证明。
2.Based on a distributed workflow system modeling method using UML and object Petri nets advantage in reference[1], the article further provides aformalized analysis method describing the system′s dynamic behavior to the mapping object Petri nets by the contracts in UML model and their correlation.针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析。
3)formal verification形式化分析
1.Finally,it shows theformal verification of the improved protocol and proves its fairness and non-repudiation.最后对改进后的协议进行形式化分析,证明改进后协议的不可否认性和公平性。
4)Formalization analysis形式化分析
5)formal concept analysis形式化概念分析
1.An approach to theformal concept analysis driven by use case is then presented based on the proposed framework,with the aim of conversely recovering the crosscutting attributes on the level of requirement models.为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。
2.This paper gave a new solution: an algorithm based onformal concept analysis.基于此,提出了一种利用形式化概念分析的XMLSchema映射算法。
3.Based on it,an approach to use case drivenformal concept analysis is discussed.为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面(aspect-oriented)的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。
6)informal analysis非形式化分析
延伸阅读
公理化方法(见公理化和形式化)公理化方法(见公理化和形式化)axiomatical methodgongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
