1) R-Z equation
散式化分析
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.
最后对改进后的协议进行形式化分析,证明改进后协议的不可否认性和公平性。
5) Patterned analysis
模式化分析
补充资料：散式流态化
分子式：
CAS号：
性质：指液相与固体颗粒层流化床在流化状态时，颗粒均匀分布在流体中，并在各方向上作随机运动，床层表面平稳且清晰，床层随流体表观流速的增加而均匀膨胀，即为散式流态化。但由于固体或流体的密度差、黏度粒径等的不同，而存在大量气泡的聚式流态化（见该条）。这两种流态化现象的判据，美国学者R.H.威海姆和中国学者郭慕孙提出用弗劳德数作为流态化类型的判据。若Frmf<0.123为散式流态化；Frmf>1.3为聚式流态化。一般情况下，液固系统为散式流态化，气固系统为聚式流态化。
CAS号：
性质：指液相与固体颗粒层流化床在流化状态时，颗粒均匀分布在流体中，并在各方向上作随机运动，床层表面平稳且清晰，床层随流体表观流速的增加而均匀膨胀，即为散式流态化。但由于固体或流体的密度差、黏度粒径等的不同，而存在大量气泡的聚式流态化（见该条）。这两种流态化现象的判据，美国学者R.H.威海姆和中国学者郭慕孙提出用弗劳德数作为流态化类型的判据。若Frmf<0.123为散式流态化；Frmf>1.3为聚式流态化。一般情况下，液固系统为散式流态化，气固系统为聚式流态化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条