收藏本站
《软件学报》 2003年11期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

电子商务协议中的可信第三方角色

卿斯汉  
【摘要】:在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对上述协议进行了全面的分析,分别指出它们的特点、缺陷与改进方法.

手机知网App
【引证文献】
中国期刊全文数据库 前10条
1 杜文才;顾剑;周晓谊;;解决电子商务中大众支付的安全问题关键方案[J];电子科技大学学报;2009年S1期
2 白灵;陈丹琪;王小英;;校园PKI系统的研究与设计[J];电脑知识与技术;2009年18期
3 周章雄;毛明;陈少晖;;一种电子商务的可撤销匿名实现方案[J];计算机安全;2009年08期
4 樊利民;廖建新;;公平的移动小额支付协议[J];电子与信息学报;2007年11期
5 费向东;潘郁;;公钥密码体制下协议设计的安全准则及一种网络审批协议[J];电子政务;2005年22期
6 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑:信息科学;2005年02期
7 隆文超;;改进的XML安全技术及其在电子商务中的应用[J];经济师;2008年04期
8 王涛,郭荷清,姚松涛;串空间方法分析协议公平性的研究[J];计算机工程与应用;2004年35期
9 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
10 汪勇,熊前兴;一种敏捷的电子商务协议[J];计算机工程与应用;2005年23期
中国博士学位论文全文数据库 前10条
1 孙艳宾;公平交换协议的设计与安全性研究[D];北京邮电大学;2011年
2 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
3 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
4 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
5 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
6 冯国柱;PKI关键技术研究及其应用[D];国防科学技术大学;2006年
7 樊利民;开放业务管理平台关键技术研究[D];北京邮电大学;2007年
8 李援;安全协议代数证明方法研究[D];合肥工业大学;2007年
9 樊凯;电子支付安全性问题研究[D];西安电子科技大学;2007年
10 刘文琦;移动支付系统安全的若干关键问题研究[D];大连理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 景旭;并发签名在公平交换协议中的应用研究[D];西南交通大学;2011年
2 杨琳琳;基于时序逻辑的安全协议验证方法的研究[D];南京航空航天大学;2010年
3 魏刚;基于知识和信念模型的电子商务协议分析[D];燕山大学;2012年
4 陈瀚;可信平台上的版权保护模型研究与实现[D];南京理工大学;2012年
5 刘宁;移动支付系统安全架构及其安全研究[D];北京邮电大学;2012年
6 王竹萍;基于电信储值支付平台的虚拟银行的关键技术及实现方案的研究[D];浙江大学;2004年
7 王富强;数字商品交易协议研究[D];重庆大学;2004年
8 莫燕;网络安全协议模型检测技术研究与应用[D];西安电子科技大学;2005年
9 崔颖安;信息安全中间件软件的研究[D];西安理工大学;2005年
10 任艳丽;关于不可否认协议中第三方的研究[D];陕西师范大学;2005年
【参考文献】
中国期刊全文数据库 前4条
1 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期
2 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
3 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
4 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 蒲荣富;;基于正态分布的异常入侵检测系统[J];阿坝师范高等专科学校学报;2006年03期
2 黄雄华,王伟;量子信息技术浅论[J];安徽电子信息职业技术学院学报;2004年Z1期
3 罗乐霞;;可控安全Web的研究探讨[J];信息安全与技术;2011年11期
4 王秦;敖静海;;移动商务环境下身份认证机制的研究[J];北京联合大学学报(自然科学版);2011年03期
5 王珏;周莉;;基于BitTorrent的P2P安全模型的设计[J];江西师范大学学报(自然科学版);2010年01期
6 褚龙,陈鹏,范俊波;网络安全动态防御体系研究及应用[J];成都信息工程学院学报;2004年03期
7 罗宁;朱明程;史燕;;密钥重构保密系统研究[J];成都信息工程学院学报;2005年06期
8 肖力;RSA密码系统实现数字签名[J];长春工程学院学报(自然科学版);2002年04期
9 文静华,龙士工,李祥;基于Kerberos的分布式校园网络安全模型[J];重庆工学院学报;2004年03期
10 李忠慧;张广泉;;基于UPPAAL的NS密码协议模型检测分析[J];重庆师范大学学报(自然科学版);2009年04期
中国重要会议论文全文数据库 前8条
1 张兆心;方滨兴;张宏莉;;基于BAN逻辑的SIP网络中认证协议安全性分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
2 祝洪杰;李大兴;;数字签名技术在电子商务系统中的应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
3 仇细平;缪祥华;杨晓婕;;Otway-Rees认证协议的分析与改进[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
4 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
5 郭甜滋;毛楠;司志刚;陈丽;;Kerberos协议在单点登录中的改进及应用[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
6 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 徐梦茗;李斌;肖聪;;怎样用好AVISPA工具[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
8 赵会宁;;对于移动IPV6中迂回路由机制的改进[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
中国博士学位论文全文数据库 前10条
1 傅建庆;面向3G-WLAN互联网络的安全协议研究[D];浙江大学;2010年
2 侯惠芳;异构无线融合网络中的认证技术研究[D];解放军信息工程大学;2010年
3 张冬芳;3G网络的身份认证与内容安全关键技术研究[D];北京邮电大学;2010年
4 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
5 杨元原;密码协议的安全性分析技术研究[D];西安电子科技大学;2011年
6 姜奇;异构无线网络匿名漫游研究[D];西安电子科技大学;2011年
7 马鸿洋;基于量子信息技术的网络安全协议研究[D];中国海洋大学;2011年
8 王惠斌;安全认证协议的设计与分析[D];解放军信息工程大学;2010年
9 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
10 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
中国硕士学位论文全文数据库 前10条
1 杨映玲;安全套接层协议的研究与改进[D];华中农业大学;2010年
2 毋晓英;基于串空间模型的安全协议分析与验证方法的研究[D];郑州大学;2010年
3 栗风永;基于混沌系统的公钥加密方案研究[D];郑州大学;2010年
4 牛建光;ATN中敏感信息关键技术的研究[D];哈尔滨工程大学;2010年
5 沈洋;三网融合环境中的信息安全技术研究[D];大连海事大学;2010年
6 程莹;网络安全协议的模型检测分析及验证系统[D];南昌大学;2010年
7 詹慧;基于FeaVer的Kerberos形式化验证和改进[D];华东理工大学;2011年
8 舒勇;端到端的信息安全传输系统关键技术研究[D];北京交通大学;2011年
9 李安乐;公钥密码体制可证安全性自动化分析描述模型的设计与实现[D];解放军信息工程大学;2010年
10 王开宇;WiMAX网络中认证密钥协商协议设计与分析[D];解放军信息工程大学;2009年
【同被引文献】
中国期刊全文数据库 前10条
1 仲红;黄刘生;罗永龙;;安全电子选举研究[J];安徽大学学报(自然科学版);2007年03期
2 邓所云,胡正名,钮心忻,杨义先;一个公平的多方的不可否认协议[J];安全与环境学报;2001年05期
3 张立志;电子商务系统的安全研究[J];安阳大学学报;2004年04期
4 李先贤,怀进鹏;一种双方不可否认的密码协议及应用[J];北京航空航天大学学报;2001年02期
5 庞闻;吴班;;XML数字签名技术的研究及在Java中的实现[J];宝鸡文理学院学报(自然科学版);2006年04期
6 刘杰,王春萌,范春晓;移动电子商务及WPKI技术[J];北京邮电大学学报;2002年02期
7 李明柱,李志江,杨义先,钮心忻;基于PayWord的WWW微支付模型[J];北京邮电大学学报;2002年02期
8 蔡满春,杨义先,胡正名;基于椭圆曲线密码体制的一种电子现金方案[J];北京邮电大学学报;2004年02期
9 沈苏彬;开放电信业务中的若干技术问题探讨[J];北京邮电大学学报;2004年S1期
10 张胜,徐国爱,胡正名,杨义先,周锡增;基于身份公钥的移动IP认证方案[J];北京邮电大学学报;2005年03期
中国博士学位论文全文数据库 前10条
1 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
2 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
3 沈炜;用于公平交换的若干协议和规范的研究与应用[D];浙江大学;2003年
4 荆继武;高安全PKI系统研究[D];中国科学院研究生院(电子学研究所);2002年
5 董庆宽;阈下信道技术研究[D];西安电子科技大学;2003年
6 周永彬;PKI理论与应用技术研究[D];中国科学院研究生院(软件研究所);2004年
7 刘培顺;判决PN机理论及其在入侵检测中的应用[D];西南交通大学;2005年
8 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
9 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
10 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
中国硕士学位论文全文数据库 前10条
1 张广胜;基于时延Petri网的密码协议分析和评估[D];山东科技大学;2003年
2 李艳平;不可否认协议及其应用的研究[D];陕西师范大学;2004年
3 童光才;电子商务中安全协议的研究--SET协议的完善与改进[D];重庆大学;2004年
4 黎银环;电子商务中公平交换协议及其应用研究[D];重庆大学;2005年
5 王子才;基于XACML的访问控制技术的应用研究[D];大连海事大学;2006年
6 陈强;安全协议的形式化分析研究[D];清华大学;2005年
7 简超;基于Petri网的工作流管理系统建模与分析[D];电子科技大学;2006年
8 张海燕;移动商务的安全技术研究[D];吉林大学;2006年
9 张曼君;电子支付协议及其公平非否认性研究[D];西安电子科技大学;2006年
10 王蕾;基于公平交换协议的电子商务平台的研究与实现[D];电子科技大学;2007年
【二级引证文献】
中国期刊全文数据库 前10条
1 安辉耀;史剑;张鹏;;透析WAP网关的GAP问题[J];信息安全与技术;2010年07期
2 李方伟;闫少军;万丽;;一种新型的电子商务微支付方案[J];重庆邮电大学学报(自然科学版);2011年05期
3 张恺;;电子商务中XML安全技术的应用研究[J];长春工程学院学报(自然科学版);2010年01期
4 黄晓芳;赖欣;马兆丰;杨义先;钮心忻;;计费公平的安全移动数字版权管理方案[J];电子科技大学学报;2009年02期
5 崔军;刘琦;张振涛;李忠献;杨义先;;可转换认证加密的安全邮件协议[J];电子科技大学学报;2010年04期
6 许慧菁;;基于XML的数据安全交换[J];电脑知识与技术;2009年29期
7 李方伟;闫少军;;基于Pay Word的微支付机制及改进分析综述[J];电信科学;2011年08期
8 周章雄;毛明;陈少晖;;一种电子商务的可撤销匿名实现方案[J];计算机安全;2009年08期
9 邓淼磊;王玉磊;周利华;;通用可组合的公平电子支付协议[J];电子与信息学报;2009年05期
10 刘文琦;顾宏;;基于分层时间有色Petri网的支付协议公平性分析[J];电子与信息学报;2009年06期
中国重要会议论文全文数据库 前1条
1 彭绪富;石曙东;;多方不可否认互签算法协议设计[A];第四届中国软件工程大会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 陈溪源;基于角色的访问控制在分布式环境下应用的关键问题研究[D];浙江大学;2010年
2 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
3 李磊;非否认协议关键技术研究[D];西安电子科技大学;2010年
4 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
5 陈莉;电子商务安全协议的设计与分析[D];解放军信息工程大学;2009年
6 陈明;乐观公平交换协议形式化逻辑及其自动证明技术[D];重庆大学;2011年
7 李金双;基于角色访问控制的管理模型和委托模型的研究[D];东北大学;2009年
8 邢育红;公平交换协议分析方法研究[D];山东大学;2005年
9 王焕宝;安全协议分析的形式化理论与方法[D];合肥工业大学;2006年
10 李谢华;基于串空间模型的安全协议形式化验证方法的研究[D];上海交通大学;2007年
中国硕士学位论文全文数据库 前10条
1 丁士杰;基于SSL的电子商务安全技术研究[D];合肥工业大学;2010年
2 王华;电子商务第三方支付平台的绩效分析[D];南京财经大学;2010年
3 钱蕾;基于XML的异构数据库相互转换的研究与实现[D];沈阳理工大学;2010年
4 余磊;基于串空间模型的安全协议分析方法研究[D];淮北师范大学;2010年
5 秦文;基于指定识别的同时签名方案设计与分析[D];南昌大学;2010年
6 鲁文静;异构无线融合网络中通用接入认证协议研究[D];解放军信息工程大学;2009年
7 马松;不可否认机制与时间戳服务系统研究[D];西安电子科技大学;2009年
8 姬国珍;基于Maude的安全协议的形式化分析[D];西安电子科技大学;2011年
9 明卫星;基于XrML的数字证书引擎设计与实现[D];华中师范大学;2011年
10 付夷山;无线安全可信接入平台的设计与实现[D];北京邮电大学;2011年
【二级参考文献】
中国期刊全文数据库 前5条
1 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期
2 卿斯汉;一种新型的非否认协议[J];软件学报;2000年10期
3 王贵林,卿斯汉,周展飞;认证协议的一些新攻击方法[J];软件学报;2001年06期
4 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期
5 卿斯汉;安全协议的设计与逻辑分析[J];软件学报;2003年07期
【相似文献】
中国期刊全文数据库 前10条
1 刘文远,邸鹤;带有公平电子合同的交易协议[J];微机发展;2005年11期
2 卿斯汉;一种电子商务协议形式化分析方法[J];软件学报;2005年10期
3 石曙东,李之棠;一种新型的电子商务协议及形式化分析[J];计算机工程与应用;2004年36期
4 张梅,文静华,杨滋荣,李祥;CMP1协议的符号模型检验分析[J];海军工程大学学报;2005年03期
5 崔楠;;电子邮件协议的非否认性形式化分析[J];计算机与信息技术;2009年05期
6 谭新莲;李磊;;安全电子商务协议的形式化分析[J];数学爱好者(教育学术);2008年02期
7 文静华;张梅;李祥;;基于博弈的电子商务协议分析[J];通信学报;2006年03期
8 周章雄;毛明;陈少晖;;一种电子商务的可撤销匿名实现方案[J];计算机安全;2009年08期
9 李慧;;一个挂号邮件协议的缺陷分析和改进[J];陕西科技大学学报;2006年02期
10 文静华;李祥;张焕国;梁敏;张梅;;基于ATL的公平电子商务协议形式化分析[J];电子与信息学报;2007年04期
中国重要会议论文全文数据库 前10条
1 崔楠;汪学明;;基于SVO逻辑的电子商务协议非否认性形式化分析[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
2 王远敏;汪学明;;一种改进的含离线可信第三方多方不可否认协议[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
3 艾助雄;何大可;何敏;;一个网络游戏中虚拟物品的安全交易平台[A];2006中国西部青年通信学术会议论文集[C];2006年
4 顾亚强;吴波;赵晖;;基于口令认证的三方密钥交换协议改进方法[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
5 张大陆;陈晴;;基于无可信第三方认证的TLS协议改进(英文)[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
6 张越今;;数据安全技术初探[A];第十六次全国计算机安全学术交流会论文集[C];2001年
7 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
8 张宁蓉;严立;;合同签署协议的安全需求分析[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
9 江为强;李亮;杨义先;田捷;杨鑫;;基于IBE和指纹认证的FIBE方案[A];2006年首届ICT大会信息、知识、智能及其转换理论第一次高峰论坛会议论文集[C];2006年
10 周洲;黄永峰;李星;;P2P网络的节点安全认证[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年
中国重要报纸全文数据库 前10条
1 赵汝生;关于云服务的5件事[N];网络世界;2010年
2 张文晋 桂文明等;信任如此传递[N];计算机世界;2006年
3 张文晋 桂文明等;用可信平台搭建可信网络[N];计算机世界;2006年
4 宋幼勤;电子商务协会九项措施推动电子商务发展[N];国际商报;2003年
5 潘成文;CA数字证书U盘面市[N];中国计算机报;2004年
6 AT&T亚太区副总裁 余文质;跨国企业网络:应对复杂求安全[N];计算机世界;2010年
7 张雁;证券营业部会消失吗?[N];华夏时报;2001年
8 咸星海;PKI技术的应用[N];中华新闻报;2009年
9 本报记者 雍忠玮;信息安全寻求新思路[N];计算机世界;2003年
10 龙博士;美国和加拿大PKI/CA体系的分析[N];网络世界;2002年
中国博士学位论文全文数据库 前10条
1 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年
2 范伟;移动商务安全性研究[D];北京邮电大学;2010年
3 郭渊博;容忍入侵的理论与方法及其应用研究[D];西安电子科技大学;2005年
4 李锋;移动支付安全研究[D];山东大学;2008年
5 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
6 方健雯;网上拍卖信任机制的建立[D];复旦大学;2006年
7 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年
8 安宝宇;云存储中数据完整性保护关键技术研究[D];北京邮电大学;2012年
9 龙士工;串空间理论及其在安全协议分析中的应用研究[D];贵州大学;2007年
10 李向东;公平交换协议的形式化分析与设计[D];解放军信息工程大学;2009年
中国硕士学位论文全文数据库 前10条
1 张曼君;电子支付协议及其公平非否认性研究[D];西安电子科技大学;2006年
2 魏刚;基于知识和信念模型的电子商务协议分析[D];燕山大学;2012年
3 王章凯;电子商务协议的形式化分析[D];上海交通大学;2010年
4 马生;有穷机和逻辑结合的电子商务协议分析方法[D];燕山大学;2012年
5 邓子宽;公平非否认协议分析方法的研究[D];电子科技大学;2007年
6 王洁;公平不可否认协议设计及其形式化分析[D];重庆大学;2008年
7 何成林;电子商务中公平交易的研究[D];重庆大学;2008年
8 计宏霖;基于UPPAAL的电子商务协议安全性分析[D];解放军信息工程大学;2008年
9 范伟;电子支付协议的公平性研究[D];西安电子科技大学;2007年
10 何成;电子商务协议的逻辑分析与研究[D];西安理工大学;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026