首页> 中文期刊> 《北京邮电大学学报》 >简单网络支付协议的形式模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《北京邮电大学学报》 |2002年第4期|42-46|共5页
作者
张泽莉; 马华东;
展开▼
作者单位

北京邮电大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类通信规程、通信协议;计算技术、计算机技术;
关键词
简单网络支付协议; 电子商务; 支付协议; 时间自动机; 形式模型; SNPP;

相似文献

中文文献
外文文献
专利

1. 基于UPPAAL的简单网络支付协议形式化验证 [J] . 余兴超 ,马争先 ,王玉斌 . 广西科学院学报 . 2010,第004期
2. 基于改进DNS协议的移动网络支付安全通信协议模型 [J] . 魏星 . 电子科技 . 2021,第009期
3. 基于信誉机制的支付协议形式化模型 [J] . 郭艾侠 ,邹湘军 ,李峰 . 计算机工程与设计 . 2009,第012期
4. 电子支付协议的博弈逻辑模型与形式化分析 [J] . 文静华 ,张梅 ,张焕国 . 微电子学与计算机 . 2007,第9期
5. 网络支付协议的形式化安全需求及验证逻辑 [J] . 刘怡文 ,李伟琴 . 通信学报 . 2004,第004期
6. 基于UPPAAL的简单网络支付协议形式化验证 [C] . 余兴超 ,马争先 ,王玉斌 . 广西计算机学会2010年年会 . 2010
7. 基于简单网络管理协议的管理信息模型的设计与实现 [A] . 张志红 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号