1) informal analysis
非形式化分析
2) formalized analysis
形式化分析
1.
This paper introduces the BAN logic formalized 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 a formalized 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 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;
一个基于活体指纹的用户身份认证协议及其形式化分析
4) formal verification
形式化分析
1.
Finally,it shows the formal verification of the improved protocol and proves its fairness and non-repudiation.
最后对改进后的协议进行形式化分析,证明改进后协议的不可否认性和公平性。
6) formal concept analysis
形式化概念分析
1.
An approach to the formal 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 on formal concept analysis.
基于此,提出了一种利用形式化概念分析的XMLSchema映射算法。
3.
Based on it,an approach to use case driven formal concept analysis is discussed.
为解决软件遗产系统中横切特性的理解和进化问题,提出了面向侧面(aspect-oriented)的逆向工程框架模型,并以此为基础给出了一种用例驱动的形式化概念分析方法,对需求分析模型层面上的系统横切特性进行逆向恢复。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条