网络安全协议分析方法研究