收藏本站
《计算机科学》 2005年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种电子商务协议原子性的模型检验分析方法

董荣胜  郭云川  古天龙  
【摘要】:提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(SMV)分析了Digicash协议和Netbill协议。

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 董荣胜;陈大伟;郭云川;古天龙;;公平非否认协议的有限状态分析[J];计算机科学;2005年08期
中国硕士学位论文全文数据库 前1条
1 席琳;安全电子商务协议的逻辑分析方法研究[D];郑州大学;2007年
【参考文献】
中国期刊全文数据库 前3条
1 郭云川,古天龙,董荣胜,蔡国永;Netbill协议原子性的符号模型检验分析[J];计算机工程与应用;2004年02期
2 徐蔚文,陆鑫达;身份认证协议的模型检测分析[J];计算机学报;2003年02期
3 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
【共引文献】
中国期刊全文数据库 前10条
1 文静华;张梅;李祥;;ISI协议的符号模型检验分析[J];电讯技术;2005年06期
2 周展飞,周典萃,王贵林,卿斯汉;电子商务协议的公平性[J];电子学报;2000年09期
3 常亮;古天龙;;安全协议及其形式化分析研究[J];桂林电子工业学院学报;2006年04期
4 张梅,文静华,杨滋荣,李祥;CMP1协议的符号模型检验分析[J];海军工程大学学报;2005年03期
5 李志敏,文静华;一个新的电子发票协议及其公平性分析[J];海军工程大学学报;2005年04期
6 王涛,郭荷清,姚松涛;一个基于模态逻辑的安全协议度量方法[J];华南理工大学学报(自然科学版);2004年11期
7 郭云川,古天龙,董荣胜,蔡国永;Kailar逻辑缺陷的进一步讨论[J];计算机工程与应用;2003年17期
8 郭云川,古天龙,董荣胜,蔡国永;Netbill协议原子性的符号模型检验分析[J];计算机工程与应用;2004年02期
9 王涛,郭荷清,姚松涛;串空间方法分析协议公平性的研究[J];计算机工程与应用;2004年35期
10 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
中国重要会议论文全文数据库 前2条
1 孙守卿;李廉;章超;李彩虹;;基于模型检测工具SPIN的安全协议形式化分析[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 姬东耀;因特网上信息安全与小额支付协议的设计分析[D];西安电子科技大学;2001年
2 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
3 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
4 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年
5 陈永红;混沌在信息安全中的应用研究[D];重庆大学;2005年
6 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
7 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
8 田海博;会话密钥建立关键技术研究[D];西安电子科技大学;2006年
9 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
10 冯国柱;PKI关键技术研究及其应用[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年
2 张广胜;基于时延Petri网的密码协议分析和评估[D];山东科技大学;2003年
3 王昌晶;信息安全若干关键技术的研究与应用[D];江西师范大学;2004年
4 李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年
5 王新;基于校园网的统一身份认证系统的研究与实现[D];华北电力大学(河北);2004年
6 何加亮;形式化逻辑方法在分析认证协议以及电子商务协议中的应用[D];吉林大学;2004年
7 边培泉;基于逻辑的电子商务协议属性的分析与研究[D];兰州理工大学;2004年
8 施勇;SET协议的安全机制研究与形式化分析[D];哈尔滨工程大学;2004年
9 杨智;远程访问中安全认证系统的研究与实现[D];解放军信息工程大学;2004年
10 代新敏;网络安全协议的形式化描述与验证[D];重庆大学;2004年
【同被引文献】
中国期刊全文数据库 前10条
1 姬东耀,王育民;基于PayWord的小额电子支付协议[J];电子学报;2002年02期
2 文静华;田建强;李祥;;一个新的公平非否认协议[J];计算机工程;2006年02期
3 王茜,杨德礼;一种基于SVO逻辑的新形式化验证方法[J];计算机集成制造系统-CIMS;2004年03期
4 陈庆锋,白硕,王驹,张师超,隋立颖;SET协议中问题的分析及解决方案[J];计算机学报;2000年02期
5 刘文远,邓成玉,左晶晶,唐杰,方淑芬;满足原子性和公平匿名性的AFAP协议研究[J];计算机学报;2004年03期
6 沈海峰,薛锐,黄河燕,陈肇雄;串空间理论扩展[J];软件学报;2005年10期
7 黎波涛;罗军舟;;不可否认协议时限性的形式化分析[J];软件学报;2006年07期
8 刘怡文,李伟琴;网络支付协议的形式化安全需求及验证逻辑[J];通信学报;2004年04期
9 戴英侠,左英男,许剑卓;SSL协议的安全缺陷与改进[J];中国科学院研究生院学报;2000年01期
10 杨晋吉,苏开乐;电子商务中安全协议的验证方法[J];计算机工程与应用;2003年19期
中国博士学位论文全文数据库 前2条
1 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
2 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
中国硕士学位论文全文数据库 前2条
1 郭华;基于模型检测的电子商务协议形式化验证方法研究[D];郑州大学;2006年
2 王巧丽;SPIN模型检测的研究与应用[D];贵州大学;2006年
【二级引证文献】
中国期刊全文数据库 前1条
1 范钰丹;韩继红;王亚弟;赵宇;;非否认协议形式化分析技术[J];计算机应用;2006年11期
中国硕士学位论文全文数据库 前2条
1 邓子宽;公平非否认协议分析方法的研究[D];电子科技大学;2007年
2 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年
【二级参考文献】
中国期刊全文数据库 前1条
1 张玉清,王磊,肖国镇,吴建平;Needham-Schroeder公钥协议的模型检测分析[J];软件学报;2000年10期
【相似文献】
中国期刊全文数据库 前10条
1 程文娟;;基于安全多方计算的电子商务高可靠性技术研究[J];淮南师范学院学报;2011年03期
2 冯源;;带第三方支付平台的网上购物系统的CCS描述[J];太原师范学院学报(自然科学版);2011年02期
3 程广金;缪淮扣;方明科;梅佳;髙洪皓;;基于XML的Web应用模型抽取[J];计算机科学;2011年09期
4 陈莉;王唯贤;;改进的可认证邮件传递协议及其安全属性分析[J];计算机工程与应用;2011年21期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前3条
1 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
2 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
3 侯红霞;;信息安全专业“安全协议”课程的教改探讨[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年
中国博士学位论文全文数据库 前10条
1 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年
2 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
3 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
4 石曙东;网络协议安全性分析中的逻辑化方法研究[D];华中科技大学;2009年
5 李锋;移动支付安全研究[D];山东大学;2008年
6 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
7 杨勇;SOA等级化服务替换理论与机制[D];复旦大学;2011年
8 孟博;电子商务环境中在线支付协议和抗抵赖协议的研究[D];武汉理工大学;2003年
9 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
10 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
中国硕士学位论文全文数据库 前10条
1 魏刚;基于知识和信念模型的电子商务协议分析[D];燕山大学;2012年
2 马生;有穷机和逻辑结合的电子商务协议分析方法[D];燕山大学;2012年
3 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年
4 何加亮;形式化逻辑方法在分析认证协议以及电子商务协议中的应用[D];吉林大学;2004年
5 刘锋;安全协议模型检验技术研究与实现[D];中国人民解放军国防科学技术大学;2002年
6 王兵;电子商务协议的形式化分析[D];南昌大学;2007年
7 宋艳;基于π-演算的BPEL4WS性质检验[D];湖南师范大学;2006年
8 刘霞;移动电子商务协议的模型检验分析与设计研究[D];桂林电子科技大学;2006年
9 武涛;基于增量式可满足性求解的安全协议形式化验证方法[D];北京交通大学;2009年
10 党继胜;基于SVO逻辑的电子商务协议形式化分析与研究[D];贵州大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026