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.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
A new method of VHF channel access protocol analysis based on semi-Markov model is presented in this paper.
本文提出了一种基于半马尔可夫模型的VHF信道访问协议分析方法。
应用推荐