综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应用在类NG协议的分析中，分析结果证明了该协议可追究方面的安全性质。