| 安全电子商务交易协议的设计及其形式化分析 |
| |
| 引用本文： | 黄寄洪,甘金明.安全电子商务交易协议的设计及其形式化分析[J].长治学院学报,2012,29(5):48-51. |
| |
| 作者姓名： | 黄寄洪 甘金明 |
| |
| 作者单位： | 梧州学院计算机科学系,广西梧州,543002 |
| |
| 基金项目： | 国家自然科学基金资助项目(No.61062014) |
| |
| 摘 要： | 本文利用串空间模型（strand space）这种有效的网络安全协议形式化分析工具,设计了一个安全电子商务交易协议SECT。从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证。所设计的SECT协议在功能和安全保证上实现了电子商务交易标准（SET）所要求的购买申请、支付认证、付款等功能。
|
| 关 键 词： | 串空间模型 认证测试 电子商务 形式化分析 |
Design and Formalization Analyses of Secure e-Commerce Transaction Protocol |
| |
| Huang Ji-hong,Gan Jin-ming.Design and Formalization Analyses of Secure e-Commerce Transaction Protocol[J].Journal of Changzhi University,2012,29(5):48-51. |
| |
| Authors: | Huang Ji-hong Gan Jin-ming |
| |
| Institution: | (Department of Computer Science,Wuzhou University,Wuzhou Guangxi 543002) |
| |
| Abstract: | 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. |
| |
| Keywords: | strand space model authentication test e-commerce formalization analyses |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
