The simplified SSL3 0 basic handshake protocol is analyzed by using a formal analysis method called the approach of the running-mode analysis.
主要使用运行模式法对简化的SSL30基本握手协议进行了形式化分析。
Security protocol is a very important role in securing network communication, and the formal analysis method for security protocol becomes one of the hottest research topics in security field.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
A novel multi-context text fuzzy clustering method and its model based on formal concept analysis and concept similarity is proposed.
基于形式概念分析和概念相似度，给出一种新的多背景文本模糊聚类方法和模型。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
A grammar analysis method, based on formal language, is introduced to analyze text description of generic structures described in DELAGES.
报告了一个基于形式语言的语法分析方法，对用DELAGES描述语言描述的族性结构文字描述部分进行分析。
Using formal method to analyze security protocol is a valid method to the analysis of security protocols. In recent years, a lot of formal methods appeared.
采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。
Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
Finally, From the prospect of theoretical foundation, main features and specific applications, the author gives detailed analysis and comments on the new method of fallacy - the Formal Dialectic.
最后，从形式论辩术的概念、构成与特点及其具体应用三方面，详细分析和评述了对谬误处理的新方法——形式论辩术。
This article introduces IKE protocol at first, then makes formal analysis on a certain key exchange mode by logical method, and proves the correctness of IKE.
该文首先介绍协ike议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。
This paper analyzes a formal method of analyzing storage covert channel identification based on information flow analysis, discussing the key points in details.
本文系统介绍了隐通道的概念，着重阐述基于信息流的存储隐通道标识方法，讨论该方法中的关键问题和重要细节。
This paper analyzes a formal method of analyzing storage covert channel identification based on information flow analysis, discussing the key points in details.
本文系统介绍了隐通道的概念，着重阐述基于信息流的存储隐通道标识方法，讨论该方法中的关键问题和重要细节。
应用推荐