期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
简单网络支付协议的形式模型 被引量:1
1
作者 张泽莉 马华东 《北京邮电大学学报》 EI CAS CSCD 北大核心 2002年第4期42-46,共5页
本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现.
关键词 简单网络支付协议 电子商务 支付协议 时间自动机 形式模型 SNPP
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部