摘要
本文指出在分析电子商务协议公平性的过程中 ,不仅要考虑参与协议的主体被动攻击的情况 ,同时还要考虑参与协议的主体进行主动攻击的情况 .在此基础上 ,本文对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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2000年第9期13-15,共3页
Acta Electronica Sinica
基金
国家自然科学基金!(No.696730 1 6)
关键词
电子商务协议
公平性
主动攻击
electronic commerce protocol
accountability
fairness
formal analysis