1) formal analysis
形式分析
1.
Research on formal security policy model specification and its formal analysis;
安全策略模型规范及其形式分析技术研究
2) Decomposing form
分析形式
3) 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网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析。
4) 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;
一个基于活体指纹的用户身份认证协议及其形式化分析
5) formal verification
形式化分析
1.
Finally,it shows the formal verification of the improved protocol and proves its fairness and non-repudiation.
最后对改进后的协议进行形式化分析,证明改进后协议的不可否认性和公平性。
补充资料：故障形式和影响分析
分子式：
CAS号：
性质：analysis 广义地讲，故障是系统的任何异常现象。从发生的部位看，故障有三种形式，即被控过程的故障、仪表的故障和执行机构的故障。故障的影响分析包括故障的检测、诊断和预测。以软件为核心的故障影响分析大致有三种类型，即基于信号处理的方法，基于数学模型的方法，基于状态估计的方法。
CAS号：
性质：analysis 广义地讲，故障是系统的任何异常现象。从发生的部位看，故障有三种形式，即被控过程的故障、仪表的故障和执行机构的故障。故障的影响分析包括故障的检测、诊断和预测。以软件为核心的故障影响分析大致有三种类型，即基于信号处理的方法，基于数学模型的方法，基于状态估计的方法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条