作者：卜奎昊安全协议helsinki协议ban逻辑串空间
摘要：分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《西北师范大学学报·自然科学版》（CN：62-1087/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《西北师范大学学报·自然科学版》常设栏目为：数学、物理学、计算机与信息科学、化学、生命科学、地理科学，主要刊登全国高校、科研院所在上述领域的基础研究、应用研究和开发研究的原创性成果论文。先后多次被评为优秀学术期刊。
杂志详情
