In this paper, the vulnerability of pattern matching is analyzed, and an effective detection method which is called protocol analysis is proposed.
本文揭示了模式匹配技术的弱点，分析了一种新的、有效的检测方法，即协议分析技术。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
The deep analysis of the NMEA0183 protocol structure and the compilation technology characteristic leads to the method for parsing NMEA0183 protocol using the compilation technology.
经过深入分析nmea0183协议的结构和编译技术的特点，提出了一种利用编译技术解析nmea0183协议的方法。
A new method of VHF channel access protocol analysis based on semi-Markov model is presented in this paper.
本文提出了一种基于半马尔可夫模型的VHF信道访问协议分析方法。
A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.
引入一种新的基于博弈逻辑的AT L分析方法，能够对日益复杂的多方电子商务协议进行建模与分析。
Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
According to the analysis of ARP protocol, this paper provided a distributed subnet topology discovery method based on ARP protocol message.
根据对ARP协议的分析，给出了一种基于ARP协议报文的分布式子网拓扑发现方法。
This paper introduced one method called protocol analysis due to the high false acceptance rate and high alarm rate caused by pattern match algorithm.
针对模式匹配算法带来的高漏报率和误报率，引入了协议分析的方法。
It emphasizes the analysis of the principle of the system and communication protocol, and presents the method of realizing the hardware and software.
重点分析系统的原理及传输协议，给出了硬件、软件的实现方法。
Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
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.
采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。
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.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
The verification method was presented based on the above correlation property, which had been used to verify the Woo and Lam authentication Protocol in reverse analysis.
从主体认证关联、消息间关联和消息内部关联三个角度去刻画协议，提出了基于以上关联特点的协议验证方法。
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 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议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。
应用推荐