排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的. 相似文献
1