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

• 作者: 张泽莉 马华东
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 电子商务 支付协议 时间自动机 形式模型
• 年，卷（期）: 2002,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 42-46
• 页数: 5页
• 分类号: TP301.2|TP311.1
• 字数: 2408字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2002.04.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马华东	北京邮电大学计算机科学与技术学院	40	806	15.0	28.0
2	张泽莉	北京邮电大学计算机科学与技术学院	1	2	1.0	1.0