ksl
- 网络九龙南线
ksl-
Using this method , a typical mobile payment protocol KSL is analyzed as an example .
应用该方法，以一个典型的移动支付协议KSL为例进行模型检验分析；
-
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协议安全性的分析结果表明该协议不满足可追究性及公平性，发现了其他形式化方法未能发现的协议漏洞，验证了该方法的有效性。