Strand空间模型相关论文
该文通过对基于Strand空间模型的安全协议分析方法的研究,提出了用于提高安全协议分析效率的改进的状态空间简化技术.在协议分析过......
因特网因其开放的协议彻底改变了计算机网络,同时也带来了新的风险和威胁。保护计算机网络最好的方法就是使用快速的自动化程序阻......
学位
认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术，可用于大部分协议的关联属性的分析；但是与Stra......
