简单网络支付协议的形式模型

北京邮电大学学报 ›› 2002, Vol. 25 ›› Issue (4): 42-46.

简单网络支付协议的形式模型

张泽莉, 马华东

北京邮电大学计算机科学与技术学院, 北京 100876

收稿日期:2001-12-11 出版日期:2002-11-10
作者简介: 张泽莉(1969—),女,北京邮电大学助理研究员。
基金资助:
国家自然科学基金资助项目(69873006);中科院软件所计算机科学开放实验室开放课题;教育部优秀青年教师资助项目;教育部留学归国人员科研启动基金资助项目

The Formal Model of a Simple Network Payment Protocol

ZHANG Ze-li, MA Hua-dong

Computer Science and Technology School, Beijing University of Posts and Telecommunications, Beijing 100876, China)

Received:2001-12-11 Online:2002-11-10
Supported by:

摘要/Abstract

摘要： 本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现。

关键词: 电子商务, 支付协议, 时间自动机, 形式模型

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.

Key words: e-commerce, payment protocol, timed automata, formalmodel

中图分类号:

TP301.2

TP311.1

张泽莉, 马华东. 简单网络支付协议的形式模型[J]. 北京邮电大学学报, 2002, 25(4): 42-46.

ZHANG Ze-li, MA Hua-dong. The Formal Model of a Simple Network Payment Protocol[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2002, 25(4): 42-46.

[1]	彭艳斌艾解清李吉明. 对手偏好主动学习驱动的协商框架[J]. 北京邮电大学学报, 2012, 35(5): 22-25.
[2]	李剑, 牛少彰. 学习机制在电子商务中的应用[J]. 北京邮电大学学报, 2009, 32(3): 1-4.
[3]	李剑牛少彰. 一种基于混合遗传算法的双边多议题协商[J]. 北京邮电大学学报, 2009, 32(2): 1-4.
[4]	李剑1,2, 景博2, 杨义先1. 自适应遗传算法在多边多议题协商中的应用[J]. 北京邮电大学学报, 2008, 31(6): 67-70.
[5]	朱振荣, 李晖, 杨义先. 一种改进的基于账户的安全电子支付协议[J]. 北京邮电大学学报, 2006, 29(s2): 155-159.
[6]	苏安洋. 电子商务中的网上协商探索[J]. 北京邮电大学学报, 2003, 26(S1): 95-98.
[7]	李明柱, 李志江, 杨义先. 微电子彩票支付研究[J]. 北京邮电大学学报, 2002, 25(3): 27-30.
[8]	刘杰,王春萌,范春晓. 移动电子商务及WPKI技术移动电子商务及WPKI技术[J]. 北京邮电大学学报, 2002, 25(2): 1-7.