计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2012年
6期
70-72
,共3页
串空间模型%SET协议%形式化分析%安全协议
串空間模型%SET協議%形式化分析%安全協議
천공간모형%SET협의%형식화분석%안전협의
移动支付是移动电子商务的重要组成部分,而安全性成为移动支付的发展瓶颈,因此电子商务协议的安全性成为此问题的核心.为了解决上述问题,使用串空间模型的测4试理论,对SET协议中用户和商家、商家和支付网关之间的认证性进行形式化分析,分析结果表明商家与支付网关之间的认证是安全的；用户和商家的认证性不满足安全需求,在支付交易流程中双方易受到攻击.
移動支付是移動電子商務的重要組成部分,而安全性成為移動支付的髮展瓶頸,因此電子商務協議的安全性成為此問題的覈心.為瞭解決上述問題,使用串空間模型的測4試理論,對SET協議中用戶和商傢、商傢和支付網關之間的認證性進行形式化分析,分析結果錶明商傢與支付網關之間的認證是安全的；用戶和商傢的認證性不滿足安全需求,在支付交易流程中雙方易受到攻擊.
이동지부시이동전자상무적중요조성부분,이안전성성위이동지부적발전병경,인차전자상무협의적안전성성위차문제적핵심.위료해결상술문제,사용천공간모형적측4시이론,대SET협의중용호화상가、상가화지부망관지간적인증성진행형식화분석,분석결과표명상가여지부망관지간적인증시안전적；용호화상가적인증성불만족안전수구,재지부교역류정중쌍방역수도공격.
