1) formal analysis
形式化分析方法
1.
This dissertation makes a research on the theory and technique of the formal analysis of the security protocols and focuses on the running-mode analysis method based on the model checking technology.
主要的研究成果如下: (1)介绍安全协议的背景及基本概念、研究进展和发展趋势,概述了安全协议的分类和安全协议的形式化分析方法的三种思路; (2)介绍两方和三方安全协议的运行模式分析法,设计并提出了两方乐观公平交换协议运行模式分析法; (3)使用运行模式分析法成功分析了几个电子商务协议,如SET协议、Micali的电子合同协议ECS1、FPH电子邮件协议,得到了较好的结论; (4)根据公平交换协议的特点,提出了公平交换协议的设计原则,并设计了一个安全的电子合同签署协议
2) formal partitioning method
形式化划分方法
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.
最后对改进后的协议进行形式化分析,证明改进后协议的不可否认性和公平性。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条