电子商务协议的公平性

被引：29

作者：

周展飞

周典萃

王贵林

卿斯汉

机构：

[1] 中国科学院软件所

[2] 中国科学院信息安全技术工程研究中心!北京,中国科学院软件所

[3] 中国科学院信息安全技术工程研究中心!北京

来源：

关键词：

电子商务协议; 可追究性; 公平性; 形式化分析;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081206 [计算机网络与安全];

摘要：

本文指出在分析电子商务协议公平性的过程中 ,不仅要考虑参与协议的主体被动攻击的情况 ,同时还要考虑参与协议的主体进行主动攻击的情况 .在此基础上 ,本文对Kailar逻辑进行了改进 ,使之能够分析协议的可追究性和公平性 .

引用

页码：13 / 15

页数：3