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协议的分析和改进已成为网络安全领域的一个研究热点。
Network security protocol is important factor in computer network security.
网络安全协议模型是计算机网络安全中的重要因素。
Network security protocol is important factor in computer network security.
网络安全协议模型是计算机网络安全中的重要因素。
应用推荐