排序方式: 共有1条查询结果,搜索用时 187 毫秒
1
1.
卜奎昊 《西北师范大学学报(自然科学版)》2010,46(5)
分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效. 相似文献
1