铁道学报
鐵道學報
철도학보
2013年
11期
51-59
,共9页
移动支付%Hash链%变色龙Hash函数%公平性%Kailar逻辑
移動支付%Hash鏈%變色龍Hash函數%公平性%Kailar邏輯
이동지부%Hash련%변색룡Hash함수%공평성%Kailar라집
mobile payment%Hash chain%chameleon Hash functions%fairness%Kailar logic
针对移动环境中网络及计算条件受限的情况,在考虑有效性和支付效率的基础上,设计了一个适应于移动环境的公平移动支付协议.该协议由认证、支付、恢复、结算四个子协议构成.在认证协议中通过基于Hash函数的动态ID机制满足了双向认证、有限的匿名性和不可追踪性,并获取不可伪造性的、可重用的支付证书.在支付过程中基于变色龙Hash函数和双Hash链,实现了交易的匿名性、可追究性和公平性.最后利用Kailar逻辑对协议的可追究性和公平性进行形式化分析,结果表明:协议在保持较高执行效率的同时,能满足可追究性和公平性,适用于在移动环境以及类似的通信、计算条件受限的环境中使用.
針對移動環境中網絡及計算條件受限的情況,在攷慮有效性和支付效率的基礎上,設計瞭一箇適應于移動環境的公平移動支付協議.該協議由認證、支付、恢複、結算四箇子協議構成.在認證協議中通過基于Hash函數的動態ID機製滿足瞭雙嚮認證、有限的匿名性和不可追蹤性,併穫取不可偽造性的、可重用的支付證書.在支付過程中基于變色龍Hash函數和雙Hash鏈,實現瞭交易的匿名性、可追究性和公平性.最後利用Kailar邏輯對協議的可追究性和公平性進行形式化分析,結果錶明:協議在保持較高執行效率的同時,能滿足可追究性和公平性,適用于在移動環境以及類似的通信、計算條件受限的環境中使用.
침대이동배경중망락급계산조건수한적정황,재고필유효성화지부효솔적기출상,설계료일개괄응우이동배경적공평이동지부협의.해협의유인증、지부、회복、결산사개자협의구성.재인증협의중통과기우Hash함수적동태ID궤제만족료쌍향인증、유한적닉명성화불가추종성,병획취불가위조성적、가중용적지부증서.재지부과정중기우변색룡Hash함수화쌍Hash련,실현료교역적닉명성、가추구성화공평성.최후이용Kailar라집대협의적가추구성화공평성진행형식화분석,결과표명:협의재보지교고집행효솔적동시,능만족가추구성화공평성,괄용우재이동배경이급유사적통신、계산조건수한적배경중사용.
