计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (35): 84-87.DOI: 10.3778/j.issn.1002-8331.2009.35.026
阮 峰1,候建敏2,张中秋3,范志勇2
RUAN Feng1,HOU Jian-min2,ZHANG Zhong-qiu3,FAN Zhi-yong2
摘要: 乐观电子商务协议通常具有复杂结构,由多个子协议组合而成,与传统认证协议具有显著不同。电子商务协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。文章在深入分析公平交换协议各项属性的基础上,定义了电子项的认证属性,对SVO逻辑进行了扩展,使用SVO逻辑语法定义了电子商务协议应满足的公平性。文章以一种真实的电子商务协议为对象,演示了基于SVO逻辑的电子商务协议公平性分析方法,并指出该协议存在安全缺陷,提出改进意见。
中图分类号: