计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2009年
7期
1839-1843
,共5页
电子支付协议%离线可信第三方%公平性%串空间
電子支付協議%離線可信第三方%公平性%串空間
전자지부협의%리선가신제삼방%공평성%천공간
基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面.电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击.在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见.
基于離線可信第三方的電子支付協議通常具有複雜結構,它由多箇子協議組閤而成,與傳統認證協議有顯著差彆,主要錶現在協議目標和攻擊者模型兩箇方麵.電子支付協議最主要目的是實現買賣雙方的公平交換,同時假定交換雙方都可能是不誠實的,需要攷慮來自協議閤法實體的內部攻擊.在重新定義協議公平性和攻擊者模型的基礎上,提齣擴展的串空間模型,以一箇真實的電子支付協議為對象,縯示瞭基于串空間理論的電子支付協議公平性形式化模型和分析方法,併指齣該協議存在安全缺陷,提齣改進意見.
기우리선가신제삼방적전자지부협의통상구유복잡결구,타유다개자협의조합이성,여전통인증협의유현저차별,주요표현재협의목표화공격자모형량개방면.전자지부협의최주요목적시실현매매쌍방적공평교환,동시가정교환쌍방도가능시불성실적,수요고필래자협의합법실체적내부공격.재중신정의협의공평성화공격자모형적기출상,제출확전적천공간모형,이일개진실적전자지부협의위대상,연시료기우천공간이론적전자지부협의공평성형식화모형화분석방법,병지출해협의존재안전결함,제출개진의견.
