Formal authentication of security protocol is an important field of network security.
安全协议的形式化验证是网络安全的一个重要领域。
Recently, analysis and improvement of IKE protocol has become a hotspot in network security area.
近年来，对IKE协议的分析和改进已成为网络安全领域的一个研究热点。
Recently, analysis and improvement of IKE protocol has become a hotspot in network security area.
近年来，对IKE协议的分析和改进已成为网络安全领域的一个研究热点。
应用推荐