检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

软件学报 2003年第11期14卷 1936-1943页

作者：卿斯汉中国科学院信息安全技术工程研究中心中国科学院软件研究所信息安全国家重点实验室北京100080

在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对... 详细信息

关键词：可信第三方电子商务协议非否认性可追究性公平性

在线全文

学校读者我要写书评

暂无评论

电子商务协议研究综述

软件学报 2001年第7期12卷 1014-1031页

作者：周龙骧中国科学院数学与系统科学研究院数学研究所北京100080

电子商务协议是电子商务实施的技术基础 .对电子商务协议研究进行综述 ,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模 )

关键词：电子商务电子商务协议安全性 Internet 网络经济

在线全文

学校读者我要写书评

暂无评论

电子商务协议的公平性

电子学报 2000年第9期28卷 13-15页

作者：周展飞周典萃王贵林卿斯汉中国科学院软件所中国科学院信息安全技术工程研究中心北京100080

本文指出在分析电子商务协议公平性的过程中 ,不仅要考虑参与协议的主体被动攻击的情况 ,同时还要考虑参与协议的主体进行主动攻击的情况 .在此基础上 ,本文对Kailar逻辑进行了改进 ,使之能够分析协议的可追究性和公平性 .

关键词：电子商务协议公平性主动攻击

在线全文

学校读者我要写书评

暂无评论

基于ATL的公平电子商务协议形式化分析

电子与信息学报 2007年第4期29卷 901-905页

作者：文静华李祥张焕国梁敏张梅贵州大学计算机软件与理论研究所贵阳550025 武汉大学计算机学院武汉430072 贵州财经学院信息学院贵阳550004

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨... 详细信息

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。

关键词：电子商务协议公平性安全性形式化分析 ATL

在线全文

学校读者我要写书评

暂无评论

基于ProVerif的电子商务协议分析

通信学报 2009年第3期30卷 125-129页

作者：郭云川丁丽周渊郭莉中国科学院计算技术研究所北京100019 中国科学院研究生院北京100049 国家计算机网络应急技术处理协调中心北京100029

采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具——ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子... 详细信息

采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具——ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子商务协议的优缺点:适用于分析"A事件发生以前,B事件是否曾经发生",但不适用于分析"A事件发生之后,B事件将来是否会必然(或可能)发生"。

关键词：电子商务协议公平性 ProVerif

在线全文

学校读者我要写书评

暂无评论

基于博弈的电子商务协议分析

通信学报 2006年第3期27卷 73-78页

作者：文静华张梅李祥贵州财经学院信息学院贵州贵阳550004 贵州大学计算机软件与理论研究所贵州贵阳550025

提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法... 详细信息

提出用一种新的基于博弈的逻辑方法分析电子商务协议,克服了传统时序逻辑把协议看成封闭系统进行分析的缺点。新方法可以成功地对电子商务中的对抗与合作行为进行描述,能够分析协议的保密性、安全性、非否认性及公平性等。最后用新方法对Zhou-Gollmann协议进行了严格的形式化分析。结果表明基于博弈的ATL逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。

关键词：电子商务协议安全性公平性 ATL

在线全文

学校读者我要写书评

暂无评论

电子商务协议形式化分析的一种新方法

计算机科学 2004年第8期31卷 86-88,112页

作者：郭云川古天龙董荣胜蔡国永桂林电子工业学院计算机系桂林541004

在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验。文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性,因而本文提出了一种新... 详细信息

在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验。文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性,因而本文提出了一种新的分析和检验原子性的方法。

关键词：电子商务协议安全性原子性形式化方法

一个安全、原子的电子商务协议及其形式化验证

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2000年第7期37卷 869-873页

作者：吴志刚方滨兴孙鹏李亚萍哈尔滨工业大学计算机科学与工程系哈尔滨150001

电子商务的普及与接受主要取决于下述属性的解决 :安全、原子、隐私与匿名 .形式化描述和分析是描述电子商务协议并验证它们的属性的有效方法 .面向物理商品交易的电子商务协议需要具备 3个属性 :安全、原子和隐私 .介绍了一个安全、可... 详细信息

电子商务的普及与接受主要取决于下述属性的解决 :安全、原子、隐私与匿名 .形式化描述和分析是描述电子商务协议并验证它们的属性的有效方法 .面向物理商品交易的电子商务协议需要具备 3个属性 :安全、原子和隐私 .介绍了一个安全、可靠的电子商务协议 BEARCAT及其形式化描述 ,并在有入侵者的情况下 ,通过用 BAN类型的逻辑证明所期望的属性的方式对协议的强度和正确性作了形式化分析 .

关键词：电子商务协议商品交易计算机网络形式化验证

在线全文

学校读者我要写书评

暂无评论

电子商务协议的形式化分析

电子商务协议的形式化分析

作者：王兵南昌大学

学位级别：硕士

电子商务协议的安全性、原子性、不可否认性等性质的验证的方法一直制约着电子商务的发展。形式化分析技术可使协议设计者通过系统分析将注意力集中于接口、系统环境的假设、在不同条件下系统的状态、条件不满足时出现的情况以及系统不... 详细信息

电子商务协议的安全性、原子性、不可否认性等性质的验证的方法一直制约着电子商务的发展。形式化分析技术可使协议设计者通过系统分析将注意力集中于接口、系统环境的假设、在不同条件下系统的状态、条件不满足时出现的情况以及系统不变的属性,并通过系统验证,提供协议必要的安全保证。目前,国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法,基于定理证明的方法和基于攻击的结构性方法三种。电子商务协议作为安全协议的一部分,这些方法在电子商务协议中同样有效。本论文应用形式化方法对电子商务协议进行分析,工作如下;1.概述了电子商务协议的发展过程以及在此发展过程中运用的加密方式和形式化方法。2.分析了电子商务协议的安全性质,如匿名性、原子性、不可否认性等,并给出了实例分析。3.在对电子商务协议安全性质全面分析的基础上,设计了一个安全的电子商务协议。该协议满足钱原子性、商品原子性以及不可否认性,最后对协议进行了详细分析。

关键词：电子商务协议形式化分析原子性不可否认性