作者：贾国梁; 杨树堂; 诸鸿文; 李谢华串空间ban逻辑安全协议形式化分析协议分析状态空间模型相结合优点安全性
摘要：本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方法将两种方法的优点结合,可以有效地分析协议的安全性,串空间模型可以避免状态空间爆炸的问题,而通过引入改进的BAN逻辑公式,使得协议分析的自动化程度提高了.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《信息安全与通信保密》（CN：51-1608/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《信息安全与通信保密》是国内外公开发行的，我国第一家全面介绍信息安全与通信保密的大型指导技术刊物，以各级领导干部、信息管理工作者、专业技术人员、企业决策者、市场营销人员、企业决策者、IT界人士等广大爱好本刊行业的读者对象。
部级期刊
人气 225869 评论 66
人气 184780 评论 72
省级期刊
人气 174372 评论 68
人气 55262 评论 77
