陈立佳
- 作品数:1 被引量:5H指数:1
- 供职机构:唐山学院信息工程系更多>>
- 发文基金:河北省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于离线可信第三方的电子支付协议公平性分析被引量:5
- 2009年
- 基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。
- 田树华陈立佳李建茹
- 关键词:电子支付协议串空间