作者：翁艳琴; 石曙东; 解颜铭逻辑系统kailar逻辑svo逻辑安全协议
摘要：综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应用在类NG协议的分析中，分析结果证明了该协议可追究方面的安全性质。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《信息技术与网络安全》（CN：10-1543/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《信息技术与网络安全》现已更名为《网络安全与数据治理》。
部级期刊
人气 50944
人气 33347 评论 12
人气 8552 评论 14
省级期刊
人气 4430 评论 10
