安全支付协议的设计与验证研究

作     者：彭勋 董荣胜 郭云川 蔡国永 PENG Xun;Dong Rongsheng;Guo Yunchuan;Cai Guoyong

作者机构：桂林电子工业学院计算机系桂林541004 

基　　金：广西自然科学基金(编号:0229051)的资助 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2005年第41卷第6期

页      码：139-143页

摘      要：安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。

主 题 词：安全支付协议 SEP安 全性 原子性 符号模型验证 SMV 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2005.06.044

馆 藏 号：203393258...