摘要
本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现.
Focusing on the payment problem for the ecommerce, 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.
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2002年第4期42-46,共5页
Journal of Beijing University of Posts and Telecommunications
基金
国家自然科学基金资助项目(69873006)
中科院软件所计算机科学开放实验室开放课题
教育部优秀青年教师资助项目
教育部留学归国人员科研启动基金资助项目