安全电子商务交易协议的设计及其形式化分析  

Design and Formalization Analyses of Secure e-Commerce Transaction Protocol

作　　者：黄寄洪[1] 甘金明[1] 

机构地区：[1]梧州学院计算机科学系,广西梧州543002

出　　处：《长治学院学报》2012年第5期48-51,共4页Journal of Changzhi University

基　　金：国家自然科学基金资助项目(No.61062014)

摘　　要：本文利用串空间模型(strand space)这种有效的网络安全协议形式化分析工具,设计了一个安全电子商务交易协议SECT。从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证。所设计的SECT协议在功能和安全保证上实现了电子商务交易标准(SET)所要求的购买申请、支付认证、付款等功能。Network security protocols is one of the effective means to solve the problem of network security.Using the strand space model,the effective network security protocol analysis tool,a SECT protocol is designed.The strand space model use encryption and random number to achieve authentication.The SECT protocol designed to achieve the functionality and security of purchase applications,payment authentication and payment requirements in the SET.

关 键 词：串空间模型 认证测试 电子商务 形式化分析 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]