| 简单网络支付协议的形式模型 |
| |
| 引用本文： | 张泽莉,马华东. 简单网络支付协议的形式模型[J]. 北京邮电大学学报, 2002, 25(4): 42-46. DOI: 10.3969/j.issn.1007-5321.2002.04.009 |
| |
| 作者姓名： | 张泽莉 马华东 |
| |
| 作者单位： | 北京邮电大学计算机科学与技术学院, 北京 100876 |
| |
| 基金项目： | 国家自然科学基金;69873006; |
| |
| 摘 要： | 本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现。
|
| 关 键 词： | 电子商务 支付协议 时间自动机 形式模型 |
| 文章编号： | 1007-5321(2002)04-0042-05 |
| 收稿时间： | 2001-12-11 |
| 修稿时间： | 2001-12-11 |
The Formal Model of a Simple Network Payment Protocol |
| |
| ZHANG Ze-li,MA Hua-dong. The Formal Model of a Simple Network Payment Protocol[J]. Journal of Beijing University of Posts and Telecommunications, 2002, 25(4): 42-46. DOI: 10.3969/j.issn.1007-5321.2002.04.009 |
| |
| Authors: | ZHANG Ze-li MA Hua-dong |
| |
| Affiliation: | Computer Science and Technology School, Beijing University of Posts and Telecommunications, Beijing 100876, China) |
| |
| Abstract: | Focusing on the payment problem for the e-commerce,discusses on the simple network payment protocol (SNPP) is presented in this paper. By timed automata, the paper specifies the model of SNPP so as to analyze its properties and assure the reliable implementation of the payment system. |
| |
| Keywords: | e-commerce payment protocol timed automata formal model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京邮电大学学报》浏览原始摘要信息 |
|
点击此处可从《北京邮电大学学报》下载全文 |
