期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
简单网络支付协议的形式模型
被引量:
1
1
作者
张泽莉
马华东
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2002年第4期42-46,共5页
本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现.
关键词
简单网络支付协议
电子商务
支付
协议
时间自动机
形式模型
SNPP
下载PDF
职称材料
题名
简单网络支付协议的形式模型
被引量:
1
1
作者
张泽莉
马华东
机构
北京邮电大学计算机科学与技术学院
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2002年第4期42-46,共5页
基金
国家自然科学基金资助项目(69873006)
中科院软件所计算机科学开放实验室开放课题
+1 种基金
教育部优秀青年教师资助项目
教育部留学归国人员科研启动基金资助项目
文摘
本文研究电子商务系统的支付问题,讨论了简单网络支付协议(SNPP),应用时间自动机(TA)对该协议进行建模,目标是对其性质进行分析并保证支付系统的可靠实现.
关键词
简单网络支付协议
电子商务
支付
协议
时间自动机
形式模型
SNPP
Keywords
e-commerce
payment protocol
timed automata
formal model
分类号
TN915.04 [电子电信—通信与信息系统]
TP3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
简单网络支付协议的形式模型
张泽莉
马华东
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2002
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部