论文部分内容阅读
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据，有必要深入分析SET协议的可追究性。Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具。先对SET协议进行了形式化的表述，然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析，结果表明协议只能满足商家和支付网关的可追究性，而不能满足持卡人的可追究性。最后，对协议进行了改进，使其能够满足持卡人的可追究性。