作者：周璐; 顾永跟安全协议新鲜性一般安全协议模型
摘要：安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的实例研究。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机应用研究》（CN：51-1196/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机应用研究》杂志以其新颖性、学术性、系统性、技术性于一身，瞄准国家迫切需要的前沿技术，及时反映并涵盖了国内外计算机学科领域最新发展趋势及技术动向，注重刊登反映本学科领域的新理论、新方法、新技术，选题新颖，可读性强而备受广大读者所喜爱，在各行各业拥有大量的读者、作者，在计算机业界享有崇高的知名度和影响力。
部级期刊
人气 230163 评论 65
人气 214642 评论 35
省级期刊
人气 213110 评论 71
北大期刊、统计源期刊
人气 193053 评论 73
