电子质量
電子質量
전자질량
ELECTRONICS QUALITY
2015年
2期
18-28
,共11页
第三方平台%电子支付%安全%协议%Kailar逻辑
第三方平檯%電子支付%安全%協議%Kailar邏輯
제삼방평태%전자지부%안전%협의%Kailar라집
为提升移动支付交易安全性和质量,该文致力于设计一种能够在移动终端上搭载的面向第三方支付平台的安全交易协议模型STPT.该协议保留了SET协议及MSET协议双重签名的特性,用对称算法替换了大部分非对称算法环节,显著提升了计算效率,降低了计算量和计算时间,使其能够在移动终端上实现搭载.通过改造MSET协议的初始化流程,显著强化了协议整体的安全性并使其具有明显的不可否认性特征.基于对SET协议和MSET协议的分析,提出STPT模型,并对其可认证性、保密性、完整性、不可否认性、原子性进行分析,证明其能够提供较为全面的安全性服务.并运用Kailar逻辑证明其能够达到预定的安全目标.
為提升移動支付交易安全性和質量,該文緻力于設計一種能夠在移動終耑上搭載的麵嚮第三方支付平檯的安全交易協議模型STPT.該協議保留瞭SET協議及MSET協議雙重籤名的特性,用對稱算法替換瞭大部分非對稱算法環節,顯著提升瞭計算效率,降低瞭計算量和計算時間,使其能夠在移動終耑上實現搭載.通過改造MSET協議的初始化流程,顯著彊化瞭協議整體的安全性併使其具有明顯的不可否認性特徵.基于對SET協議和MSET協議的分析,提齣STPT模型,併對其可認證性、保密性、完整性、不可否認性、原子性進行分析,證明其能夠提供較為全麵的安全性服務.併運用Kailar邏輯證明其能夠達到預定的安全目標.
위제승이동지부교역안전성화질량,해문치력우설계일충능구재이동종단상탑재적면향제삼방지부평태적안전교역협의모형STPT.해협의보류료SET협의급MSET협의쌍중첨명적특성,용대칭산법체환료대부분비대칭산법배절,현저제승료계산효솔,강저료계산량화계산시간,사기능구재이동종단상실현탑재.통과개조MSET협의적초시화류정,현저강화료협의정체적안전성병사기구유명현적불가부인성특정.기우대SET협의화MSET협의적분석,제출STPT모형,병대기가인증성、보밀성、완정성、불가부인성、원자성진행분석,증명기능구제공교위전면적안전성복무.병운용Kailar라집증명기능구체도예정적안전목표.
