检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:周展飞[1,2] 周典萃[1,2] 王贵林[1,2] 卿斯汉[1,2]
机构地区:[1]中国科学院软件所 [2]中国科学院信息安全技术工程研究中心,北京100080
出 处:《电子学报》2000年第9期13-15,共3页Acta Electronica Sinica
基 金:国家自然科学基金!(No.696730 1 6)
摘 要:本文指出在分析电子商务协议公平性的过程中 ,不仅要考虑参与协议的主体被动攻击的情况 ,同时还要考虑参与协议的主体进行主动攻击的情况 .在此基础上 ,本文对Kailar逻辑进行了改进 ,使之能够分析协议的可追究性和公平性 .It is pointed out that it is important to consider the case with active adversaries,as well as that with passive ones.Based on this knowledge,an improvement on Kailar logic is proposed for analysis of both fairness and accountability in electronic commerce protocols.
分 类 号:TP393.08[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15