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逻辑证明。
应用推荐