ksl

ksl

1

Using this method , a typical mobile payment protocol KSL is analyzed as an example .

应用该方法，以一个典型的移动支付协议KSL为例进行模型检验分析；
2

Using the proposed approach to analyze KSL protocol , we find that KSL protocol does not satisfy the accountability and fairness requirement . The proposed approach detects the leak in the protocol that cannot be detected by other formal analysis approaches .

该方法对KSL协议安全性的分析结果表明该协议不满足可追究性及公平性，发现了其他形式化方法未能发现的协议漏洞，验证了该方法的有效性。