protocol formal analysis method 协议形式化分析
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信道访问协议分析方法。
应用推荐