Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Then it gives the structure of security policy negotiation model including negotiation protocol, negotiation object and negotiation tactics etc.
接着在此基础上介绍安全策略协商模型的系统结构，主要包含协商协议，协商对象，协商策略等部分。
As for the flaws of the SSL handshake protocol part in the SSL based security communication model, the thesis proposes a PMI based solution and analyzes the design by using the BAN logic.
针对基于SSL的安全通信模型中ssl握手协议部分在访问控制方面的缺陷，本文提出了一个基于pmi的全解决方案，并对改进设计进行了分析和BAN逻辑证明。
The model structure of SET protocol is optimized, the transaction process is improved, and the transaction security is strengthened.
它优化了SET协议的模型结构，完善了交易流程，增强了交易的安全性。
The key problems of security interaction model design lie in the real-time distribution of policy and designing security interaction protocol.
策略的实时分发和安全联动交换协议的设计是安全联动模型设计的关键问题。
The key problems of common management information model and common security management protocol are analyzed. At last, an implementation of integrated security management platform is described.
分析了其中统一的管理信息模型和通用的安全管理协议的关键问题，并详细描述了一个集成安全管理平台的设计和实现。
The strand space model is a very important tool of analyzing security protocol, and it has good semantics, but it is difficult to analyze security protocol.
串空间模型是安全协议分析的一种重要工具，它具有良好的语义，但其分析过程难度较大。
It has been proven by instances that the extended model and method can better analyze and describe the security of e-commerce security protocol, and be applied in wider fields.
实例证明了扩展后的模型和方法能够更精确地分析和描述电子商务安全协议的安全性，并能够应用于更广泛的领域。
On the basis of discussing above, a security multicast system model based on GDOI Protocol is proposed. The design idea is described and the main data structures and source programs are provided.
在前面讨论的基础上，在组成员方提出了一个基于GDOI协议的安全多播主机结构模型，描述了各个模块的设计思想，给出了主要数据结构和源程序。
This paper presents a kind of secure communication protocol model-EABRA, by which network security communication can be realized easily and efficiently.
提出了一种安全的通信协议模型EABRA，通过该模型可以简单有效地实现网络安全通信。
The security proof in the standard model ensures that the security of protocol in the real application to meet higher security requirements.
标准模型下的安全性证明能保证协议在实际应用中的安全性，满足更高的安全要求。
After setting up the idealized protocol model, a process of formal analysis of this protocol is presented and the security is proved theoretically by using the BAN logic.
通过建立协议的理想化模型，利用BAN逻辑形式化分析该协议，在理论上证明其安全性。
After setting up the idealized protocol model, a process of formal analysis of this protocol is presented and the security is proved theoretically by using the BAN logic.
通过建立协议的理想化模型，利用BAN逻辑形式化分析该协议，在理论上证明其安全性。
应用推荐