protocol formal analysis method 协议形式化分析
The simplified SSL3 0 basic handshake protocol is analyzed by using a formal analysis method called the approach of the running-mode analysis.
主要使用运行模式法对简化的SSL3 0基本握手协议进行了形式化分析。
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.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
The method is based on the attribute of formal concept analysis.
这种方法是基于形式概念分析属性之上的。
应用推荐