安全协议分析相关论文
该文通过对基于Strand空间模型的安全协议分析方法的研究,提出了用于提高安全协议分析效率的改进的状态空间简化技术.在协议分析过......
随着计算机网络的快速发展,人们生活的方方面面都和网络有联系,网络为人们提供便利的同时也存在一些网络安全问题,例如网络诈骗,窃......
