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

摘要：

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

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

所属期刊栏目：25

分类号：TP301.2;TP311.1(计算技术、计算机技术)

资助基金：国家自然科学基金69873006;中国科学院软件研究所计算机科学重点实验室基金;教育部优秀青年教师资助计划;教育部留学回国人员科研启动基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：42-46