ZHOU Zhan-fei, ZHOU Dian-cui, WANG Gui-lin, QING Si-han
Author information+
Institute of Software,The Chinese Academy of Sciences,Beijing 100080,China;Engineering Research Center for Information Security and Technology,The Chinese Academy of Sciences,Beijing 100080,China
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.