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

SET协议中问题的分析及解决方案

陈庆锋  白硕  王驹  张师超  隋立颖  
【摘要】:文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”两种安全机制 ,并在此基础上实现用 Prolog语言程序模拟验证过程 .最后对电子商务的发展和今后将要做的工作做了一些初步的探讨

手机知网App
【引证文献】
中国期刊全文数据库 前5条
1 谭汉松,刘涛;移动电子商务的电子支付模型研究[J];电脑与信息技术;2003年01期
2 曹阳;;椭圆曲线密码体制在SET协议中的研究与应用[J];计算机安全;2007年04期
3 潘耘,冷英男,王自军,任晓蕾;电子商务中的密钥托管技术[J];抚顺石油学院学报;2001年02期
4 陈建强;关于电子商务系统中安全支付模型的探讨[J];贵州工业大学学报(自然科学版);2001年02期
5 张国印,施勇;椭圆曲线密码体制在SET协议中的应用[J];微型机与应用;2004年06期
中国博士学位论文全文数据库 前2条
1 吕旭东;医疗信息系统体系结构研究及开发平台设计[D];浙江大学;2002年
2 史国庆;电子商务与宽带城域网的关键技术研究[D];华南理工大学;2002年
中国硕士学位论文全文数据库 前10条
1 王兵;电子商务协议的形式化分析[D];南昌大学;2007年
2 孙孟杰;基于Internet的医疗服务应用技术研究[D];浙江大学;2001年
3 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年
4 袁勇智;基于电子支票的网上购物系统的研究及实现[D];西南农业大学;2002年
5 张玲;数字现金协议及逻辑验证[D];国防科学技术大学;2002年
6 何映伟;电子商务安全支付系统的研究与设计[D];西南交通大学;2002年
7 戴庆;电子商务门户网站的研究与实现[D];大庆石油学院;2003年
8 刘微微;在线招投标系统中安全体系的设计与开发[D];上海海运学院;2001年
9 徐静;电子商务环境中基于SET协议的电子支付平台的研究[D];武汉理工大学;2003年
10 王斌;基于SET协议的支付模型SafePay的研究[D];南京理工大学;2003年
【共引文献】
中国期刊全文数据库 前9条
1 黄兰英;电子商务的安全技术研究[J];福建电脑;2004年01期
2 潘耘,冷英男,王自军,任晓蕾;电子商务中的密钥托管技术[J];抚顺石油学院学报;2001年02期
3 常亮;古天龙;;安全协议及其形式化分析研究[J];桂林电子工业学院学报;2006年04期
4 苏开乐,吕关锋,陈清亮;基于知识结构的认证协议验证[J];中国科学E辑;2005年04期
5 费定舟,邓达强;关于BAN逻辑的语义模型的分析与改进[J];计算机工程与应用;2004年15期
6 赵辉,李彤;基于模型的验证及其方法[J];计算机工程;2001年08期
7 陈庆锋,白硕,王驹,张师超,隋立颖;电子商务安全协议及其非单调动态逻辑验证[J];软件学报;2000年02期
8 陈庆锋,王驹,白硕,张师超,隋立颖;电子商务安全协议的逻辑验证[J];软件学报;2000年03期
9 杜玉越;电子商务系统形式化分析与验证技术综述(Ⅰ)[J];聊城师院学报(自然科学版);2004年02期
中国博士学位论文全文数据库 前5条
1 吕旭东;医疗信息系统体系结构研究及开发平台设计[D];浙江大学;2002年
2 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
3 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
4 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
5 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
中国硕士学位论文全文数据库 前10条
1 王兵;电子商务协议的形式化分析[D];南昌大学;2007年
2 孔令凡;基于KERBEROS&ECC的远程访问安全研究与设计[D];浙江工业大学;2001年
3 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年
4 刘微微;在线招投标系统中安全体系的设计与开发[D];上海海运学院;2001年
5 赵世忠;基于B/S模式的保密网系统安全设计[D];华北工学院;2003年
6 周亦鹏;基于半可信第三方的数字水印协议及其应用研究[D];太原理工大学;2003年
7 陈语林;电子商务中安全问题的研究[D];中南大学;2004年
8 边培泉;基于逻辑的电子商务协议属性的分析与研究[D];兰州理工大学;2004年
9 江红军;林业电子商务平台的建立与模式探讨[D];北京林业大学;2004年
10 周卫兵;基于案例推理车辆维修专家系统的研究[D];合肥工业大学;2004年
【同被引文献】
中国期刊全文数据库 前10条
1 郭云川,古天龙,董荣胜,蔡国永;Netbill协议原子性的符号模型检验分析[J];计算机工程与应用;2004年02期
2 徐蔚文,陆鑫达;身份认证协议的模型检测分析[J];计算机学报;2003年02期
3 王彩芬,葛建华;一种分析电子商务协议的新方法[J];计算机学报;2004年04期
4 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
5 卿斯汉;电子商务协议中的可信第三方角色[J];软件学报;2003年11期
6 刘怡文,李伟琴;网络支付协议的形式化安全需求及验证逻辑[J];通信学报;2004年04期
7 陈庆锋,王驹,白硕,张师超,隋立颖;电子商务安全协议的逻辑验证[J];软件学报;2000年03期
8 黄伟震;就医病人流向异变原因及解决对策[J];中国卫生经济;1999年06期
9 许大为;电子商务及其安全体系[J];微型机与应用;2000年06期
10 陈庆锋,白硕,王驹,张师超,隋立颖;电子商务安全协议及其非单调动态逻辑验证[J];软件学报;2000年02期
中国重要会议论文全文数据库 前1条
1 梁剑豪;;中国联通LMDS宽带无线接入试验介绍[A];中国国际接入网技术高级研讨会论文集[C];2000年
中国博士学位论文全文数据库 前4条
1 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
2 田建波;认证协议的分析设计[D];西安电子科技大学;1998年
3 郑东;密码协议的逻辑分析与设计[D];西安电子科技大学;1999年
4 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
中国硕士学位论文全文数据库 前2条
1 刘少涛;基于SET的认证系统的构建及其安全性研究[D];广东工业大学;2002年
2 蔡昱祺;公开密钥密码编码学研究[D];南京理工大学;2004年
【二级引证文献】
中国期刊全文数据库 前1条
1 何胜;电子商务中安全支付协议的对比及应用[J];计算机时代;2004年02期
中国重要会议论文全文数据库 前1条
1 郑建国;游林;曾福庚;;超椭圆曲线密码体制在SET协议中的应用研究[A];第十届“保密通信与信息安全现状研讨会”论文集[C];2007年
中国硕士学位论文全文数据库 前10条
1 孙久鸿;安全电子交易SET协议的研究[D];大连交通大学;2007年
2 李秀英;SSL协议技术分析及其在电子商务中的应用研究[D];中南大学;2007年
3 张金艳;DICOM类库的实现及其应用[D];浙江大学;2003年
4 谢顺华;分布式医学影像数据的Streaming技术框架研究及实践[D];浙江大学;2003年
5 冯靖祎;PACS实施策略及需求分析[D];浙江大学;2003年
6 胡永辉;基于HL7的医疗信息系统研究[D];西安电子科技大学;2006年
7 周幼静;临床数据集成浏览终端的设计与实现[D];浙江大学;2006年
8 王冠;基于IHE的影像诊断报告系统研究与实现[D];浙江大学;2006年
9 田仲富;B2B电子商务模式及安全在线支付系统的研究[D];东北林业大学;2006年
10 张勇;椭圆曲线密码及其在电子商务中的应用[D];北京邮电大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 陈庆锋,白硕,王驹,张师超,隋立颖;SET协议中问题的分析及解决方案[J];计算机学报;2000年02期
2 洪兴;基于EDI的B2B电子商务平台[J];计算机时代;2000年08期
3 梁卫 ,罗忆;我国档案信息网络化面临的三个难点[J];湖北档案;2001年05期
4 王永峰,唐毅;SET协议的安全性分析及改进[J];微型电脑应用;2001年07期
5 蒯莉;电子警务中的信息网络安全保障体系[J];信息化建设;2002年11期
6 ;网络安全术语解析(四)[J];计算机安全;2002年02期
7 刘峰;信息安全三方面[J];安防科技;2003年06期
8 兰静;基于安全网络的阅卷系统实现[J];吕梁高等专科学校学报;2005年03期
9 吕格莉;王东;戴骥;邵自然;;基于PKI的网上交易安全中间件的研究与实现[J];微型电脑应用;2005年12期
10 蔡勉;康莉;;一种安全的多级代理签名方案[J];中国科学院研究生院学报;2006年05期
中国重要报纸全文数据库 前8条
1 ;电子商务面临的安全问题[N];计算机世界;2000年
2 ;中国国际电子商务中心与长城结盟[N];人民邮电;2000年
3 ;网上银行系列知识问答之二[N];中华工商时报;2001年
4 本报特约记者 庞瑞江 于江;安全浏览器中国造[N];计算机世界;2002年
5 未名;数字水印防伪新招[N];金融时报;2003年
6 马骏;抵御垃邮 刻不容缓[N];中国计算机报;2004年
7 万平国;可信不可信[N];中国计算机报;2005年
8 孙绪闻;北交所首次异地网络竞价成功[N];首都建设报;2008年
中国硕士学位论文全文数据库 前4条
1 江增世;安全邮件系统的研究与实现[D];电子科技大学;2002年
2 王亮;一种专用网络的CA体系结构研究及实现[D];四川大学;2002年
3 黄建华;证券网上交易安全系统设计[D];四川大学;2002年
4 秦建华;某部CIMIS安全策略[D];兰州理工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026