基于签密的多方认证邮件协议 被引量：10

1

作者 王彩芬 贾爱库 +1 位作者 刘军龙 于成尊 《电子学报》 EI CAS CSCD 北大核心 2005年第11期2070-2073,共4页

签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明... 签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明了该协议的公平性与非否认性.文中还通过与已有协议进行比较,阐述了新协议的优点. 展开更多

关键词 公平交换协议 一对多的认证邮件协议 签密 公平性 非否认性

在线阅读 下载PDF 职称材料

基于自验证公钥的3G移动通信系统认证方案 被引量：13

2

作者 郑宇 何大可 梅其祥 《计算机学报》 EI CSCD 北大核心 2005年第8期1327-1332,共6页

鉴于单钥密码体制存在密钥管理困难和不能提供防抵赖功能的缺陷,在第三代(3G)移动通信系统中,基于公钥体制的认证方法得到越来越多的重视。为提高单钥体制认证方案的安全性,并改进现有公钥认证协议在性能上存在的缺陷,文章提出了一种高... 鉴于单钥密码体制存在密钥管理困难和不能提供防抵赖功能的缺陷,在第三代(3G)移动通信系统中,基于公钥体制的认证方法得到越来越多的重视。为提高单钥体制认证方案的安全性,并改进现有公钥认证协议在性能上存在的缺陷,文章提出了一种高效的基于自验证公钥的认证方案。该方案包含PKBP(公钥广播协议)和SPA-KA(基于自验证公钥的认证及密钥交换协议)。其中,PKBP可使移动设备(ME)抵抗伪基站攻击并避免鉴别VLR(拜访位置寄存器)证书的合法性;而SPAKA可在无须传送公钥证书的前提下完成ME和VLR的相互认证及会话密钥协商。与现有公钥认证协议相比,PKBP和SPAKA减少了ME的数据传输量和在线计算量,获得了单钥认证协议所不能达到的安全目标和可扩展性,并可在特定场合实现对ME通话的可控、合法监听,满足国家安全部门的需求.因此,该方案很适合于支持3G系统的全球移动性和通信安全性. 展开更多

关键词 3G安全 身份认证 自验证公钥 协议分析

在线阅读 下载PDF 职称材料

使用签密的认证邮件协议 被引量：2

3

作者 王彩芬 葛建华 +2 位作者 杜欣军 赵铁山 秦利卿 《电子学报》 EI CAS CSCD 北大核心 2003年第3期475-477,共3页

认证邮件协议 ,指一个发送方要将消息M与收方收到的证据进行交换的协议 .在交换中最重要的一个性质就是要保证公平性 .通过对原有的签密方案修改得到一种适应于认证邮件协议的新签密方案 ,并且在该方案的基础上设计了新的认证邮件协议 ... 认证邮件协议 ,指一个发送方要将消息M与收方收到的证据进行交换的协议 .在交换中最重要的一个性质就是要保证公平性 .通过对原有的签密方案修改得到一种适应于认证邮件协议的新签密方案 ,并且在该方案的基础上设计了新的认证邮件协议 ,新的协议效率高且弥补了其他认证邮件协议中的缺陷 . 展开更多

关键词 电子商务 公平交换协议 认证邮件协议 签密方案

在线阅读 下载PDF 职称材料

电子商务中不可抵赖性研究 被引量：7

4

作者 孟博 熊前兴 《小型微型计算机系统》 CSCD 北大核心 2003年第3期603-605,共3页

不可抵赖性是开发电子商务系统必须要解决的问题之一 .不可抵赖分为发送方的不可抵赖和接收方的不可抵赖 .本文对电子商务的不可抵赖性进行的分析和研究 ,探讨了其解决办法 .同时讨论了公开密钥加密体制、单项散列函数、数字签名、FNP。

关键词 电子商务 不可抵赖性 数字签名 公平不可抵赖协议 INTERNET 公开密钥加密体制

在线阅读 下载PDF 职称材料

基于签密的认证邮件协议 被引量：2

5

作者 张青 张龙 +1 位作者 温巧燕 陈更力 《电子科技大学学报》 EI CAS CSCD 北大核心 2008年第2期282-284,共3页

认证邮件协议的目的是实现邮件m与收到该邮件的收据之间的公平交换,认证邮件协议满足的最重要的性质是公平性。基于修改过的W-B签密方案,该文设计出一种带有离线的、透明可信的第三方认证邮件协议。与同类协议相比,在通信量相同的情况下... 认证邮件协议的目的是实现邮件m与收到该邮件的收据之间的公平交换,认证邮件协议满足的最重要的性质是公平性。基于修改过的W-B签密方案,该文设计出一种带有离线的、透明可信的第三方认证邮件协议。与同类协议相比,在通信量相同的情况下,该协议具有更小的计算量和更高的执行效率。 展开更多

关键词 认证邮件协议 电子商务 公平交换协议 W-B签密方案

在线阅读 下载PDF 职称材料

认证邮件协议的安全性分析与改进 被引量：2

6

作者 高悦翔 彭代渊 闫丽丽 《电子科技大学学报》 EI CAS CSCD 北大核心 2013年第2期300-305,共6页

认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如... 认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。 展开更多

关键词 认证邮件协议 组合协议分析 KAILAR逻辑 可追究性

在线阅读 下载PDF 职称材料

基于AODV的安全高效路由方案设计 被引量：4

7

作者 杨成云 张明清 唐俊 《计算机工程》 CAS CSCD 北大核心 2010年第1期157-160,共4页

路由协议的安全性是移动自组网络安全中最重要的一环,极易受到各种攻击。分析AODV路由协议存在的主要安全隐患,探讨现有安全路由方案的不足,提出一种新的基于椭圆曲线密码体制、自证明公钥、单向哈希链等技术的安全高效路由方案,同时完... 路由协议的安全性是移动自组网络安全中最重要的一环,极易受到各种攻击。分析AODV路由协议存在的主要安全隐患,探讨现有安全路由方案的不足,提出一种新的基于椭圆曲线密码体制、自证明公钥、单向哈希链等技术的安全高效路由方案,同时完成会话密钥的交换。仿真结果表明,改进后的协议以较少的开销得到较高的安全性。 展开更多

关键词 Ad HOC网络 AODV协议 椭圆曲线密码 自证明公钥 网络仿真

在线阅读 下载PDF 职称材料

一种挂号电子邮件协议的设计及其形式化分析 被引量：2

8

作者 高悦翔 彭代渊 《计算机应用》 CSCD 北大核心 2008年第8期1928-1930,1935,共4页

挂号电子邮件协议需要具备保密性、不可否认性及公平性。提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性。利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放... 挂号电子邮件协议需要具备保密性、不可否认性及公平性。提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性。利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放等攻击及第三方无法获得邮件内容等优点。 展开更多

关键词 挂号电子邮件协议 不可否认性 公平性 形式化分析 KAILAR逻辑

在线阅读 下载PDF 职称材料

一个多方认证邮件协议的分析与改进 被引量：1

9

作者 高悦翔 彭代渊 《计算机科学》 CSCD 北大核心 2012年第11期58-61,97,共5页

多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安... 多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安全隐患。基于签密方案,对该协议进行了改进,并利用Kailar逻辑对改进后的协议的安全属性进行了分析。研究结果表明,该协议能够满足保密性、不可否认性及公平性等要求,并具有抗篡改、重放、合谋等攻击的特点。 展开更多

关键词 多方认证邮件协议 可追究性 公平性 签密 KAILAR逻辑

在线阅读 下载PDF 职称材料

一个高效的公平的抗抵赖协议

10

作者 孟博 杨时荣 熊前兴 《计算机工程》 CAS CSCD 北大核心 2002年第12期30-31,38,共3页

抗可抵赖是开展电子商务活动所必须解决的关键问题之一。常用的抗抵赖服务有：原发抗可抵赖(NRO)、交付抗可抵赖(NRD)、提交抗可抵赖(NRS)和传输抗可抵赖(NRT)等。该文对电子商务的抗可抵赖进行了分析和研究，重点分析了FNP和CMP协议，... 抗可抵赖是开展电子商务活动所必须解决的关键问题之一。常用的抗抵赖服务有：原发抗可抵赖(NRO)、交付抗可抵赖(NRD)、提交抗可抵赖(NRS)和传输抗可抵赖(NRT)等。该文对电子商务的抗可抵赖进行了分析和研究，重点分析了FNP和CMP协议，并且在此基础上，提出了一个实现原发抗抵赖和交付抗抵赖的高效的公平的抗抵赖协议。 展开更多

关键词 抗抵赖协议 电子商务 公平抗抵赖协议 INTERNET 数字签名

在线阅读 下载PDF 职称材料

一种新的认证邮件协议

11

作者 张青 张龙 +1 位作者 温巧燕 陈更力 《计算机工程》 CAS CSCD 北大核心 2007年第19期130-131,142,共3页

认证邮件协议是指邮件发送方将邮件m与接收方收到该邮件的证据进行交换的协议。认证邮件协议要满足的最重要的性质就是公平性。对原有的一种可转换的认证加密方案进行了改进并且在改进方案的基础上设计了新的认证邮件协议,新的协议执行... 认证邮件协议是指邮件发送方将邮件m与接收方收到该邮件的证据进行交换的协议。认证邮件协议要满足的最重要的性质就是公平性。对原有的一种可转换的认证加密方案进行了改进并且在改进方案的基础上设计了新的认证邮件协议,新的协议执行效率高且弥补了其他认证邮件协议中无法保证邮件机密性的缺陷。 展开更多

关键词 电子商务 公平交换协议 认证邮件协议 可转换的认证加密方案

在线阅读 下载PDF 职称材料

合同原子性及ACAP协议的实现

12

作者 黄少寅 高传善 《计算机研究与发展》 EI CSCD 北大核心 2004年第4期697-703,共7页

针对Tygar提出的电子商务协议 3级原子性 :钱原子性、商品原子性及确认发送原子性 ,首次提出了一个更高层次的合同原子性概念 ,并引进了合同自动执行和自动仲裁概念 ,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探... 针对Tygar提出的电子商务协议 3级原子性 :钱原子性、商品原子性及确认发送原子性 ,首次提出了一个更高层次的合同原子性概念 ,并引进了合同自动执行和自动仲裁概念 ,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探讨 ,最后给出了一个满足合同原子性的电子商务协议ACAP及其实现方案 ,并对ACAP的匿名性、安全性。 展开更多

关键词 匿名合同原子协议 钱原子性 商品原子性 确认发送原子性 合同原子性 合同形式化 自动仲裁

在线阅读 下载PDF 职称材料

基于离线可信第三方的挂号电子邮件协议研究

13

作者 李慧 《计算机应用》 CSCD 北大核心 2006年第8期1836-1837,1847,共3页

电子商务中的一些协议大多建立在可信第三方TTP(Trusted Third Party)的基础上,挂号电子邮件协议采用的离线TTP协议在某种程度上解决了TTP的瓶颈问题。但该协议存在某些缺陷,着重分析该缺陷造成的各个参与方的不公平性以及可能存在的攻... 电子商务中的一些协议大多建立在可信第三方TTP(Trusted Third Party)的基础上,挂号电子邮件协议采用的离线TTP协议在某种程度上解决了TTP的瓶颈问题。但该协议存在某些缺陷,着重分析该缺陷造成的各个参与方的不公平性以及可能存在的攻击方法,并给出对应的解决方法和改进建议。 展开更多

关键词 可信第三方 挂号电子邮件协议 公平性

在线阅读 下载PDF 职称材料

协议组合逻辑安全的4G无线网络接入认证方案 被引量：9

14

作者 王丽丽 冯涛 马建峰 《通信学报》 EI CSCD 北大核心 2012年第4期77-84,共8页

针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案... 针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率。 展开更多

关键词 自证实公钥 协议组合逻辑 协议演绎系统 认证协议 4G

在线阅读 下载PDF 职称材料

一个挂号邮件协议的缺陷分析和改进

15

作者 李慧 《陕西科技大学学报（自然科学版）》 2006年第2期99-102,共4页

可信第三方TTP(trustedthirdparty)在电子商务协议中担任着重要的角色,作者在文中通过分析一个挂号邮件协议指出了TTP在离线TTP协议中的作用,说明了其中存在的缺陷及恶意的参与方利用该缺陷可能发起的攻击方法,最后给出了协议的改进建议... 可信第三方TTP(trustedthirdparty)在电子商务协议中担任着重要的角色,作者在文中通过分析一个挂号邮件协议指出了TTP在离线TTP协议中的作用,说明了其中存在的缺陷及恶意的参与方利用该缺陷可能发起的攻击方法,最后给出了协议的改进建议,并验证了其可行性。 展开更多

关键词 可信第三方 挂号邮件 安全协议 公平性

在线阅读 下载PDF 职称材料

一个挂号电子邮件协议的缺陷及改进

16

作者 邢育红 卜凡金 +1 位作者 李大兴 卿斯汉 《计算机工程与应用》 CSCD 北大核心 2006年第2期138-139,193,共3页

Nenadic等设计了一个公平的挂号电子邮件协议,协议的目的是实现互不信任的双方以一种公平的方式交换电子邮件和收据并提供发方不可否认证据和收方不可否认证据,这是通过构造一个可验证和可恢复的加密数字签名(VRES)来实现的,由于采用离... Nenadic等设计了一个公平的挂号电子邮件协议,协议的目的是实现互不信任的双方以一种公平的方式交换电子邮件和收据并提供发方不可否认证据和收方不可否认证据,这是通过构造一个可验证和可恢复的加密数字签名(VRES)来实现的,由于采用离线TTP,且没有使用零知识证明,效率非常高。该文通过分析指出该协议在构造可验证的加密数字签名时存在缺陷,从而使得它不能保证公平性,并对其进行了修改。 展开更多

关键词 挂号电子邮件协议 可验证的数字签名 协议分析

在线阅读 下载PDF 职称材料

基于椭圆曲线自验证公钥的3G通信认证方案

17

作者 黄亮 卢建朱 《计算机工程与应用》 CSCD 北大核心 2007年第20期128-131,共4页

采用将PKBP(公钥广播协议)和SPAKA(基于自验证公钥的认证及密钥交换协议)相结合的方法,基于椭圆曲线上的离散对数难问题,设计了一种3G通信中的双向认证和密钥协商的认证系统,其安全性是基于椭圆曲线上的离散对数难问题的。与现有公钥认... 采用将PKBP(公钥广播协议)和SPAKA(基于自验证公钥的认证及密钥交换协议)相结合的方法,基于椭圆曲线上的离散对数难问题,设计了一种3G通信中的双向认证和密钥协商的认证系统,其安全性是基于椭圆曲线上的离散对数难问题的。与现有公钥认证协议相比,PKBP和SPAKA减少了数据传输量的和VLR与ME的在线计算量,可在无须传送公钥证书的前提下完成ME和VLR的相互认证及会话密钥协商,并可在特定场合实现对ME通话的可控、合法监听。因此,该方案提高了认证系统的安全性和效率,很适合于支持3G系统的全球移动性和通信安全性。 展开更多

关键词 3G安全 身份认证 自验证公钥 协议分析

在线阅读 下载PDF 职称材料

基于离线条件可信第三方的挂号邮件协议

18

作者 沈炜 《计算机工程》 CAS CSCD 北大核心 2004年第7期108-110,共3页

扩展了半可信第三方的思想，提出条件可信第三方，给出可接受的第三方必须满足的条件，并结合离线可信第三方提出一个基于离线条件可信第三方的挂号邮件协议，目的是在保证可接受的公平结果的前提下尽可能减少对可信第三方的依赖；新协... 扩展了半可信第三方的思想，提出条件可信第三方，给出可接受的第三方必须满足的条件，并结合离线可信第三方提出一个基于离线条件可信第三方的挂号邮件协议，目的是在保证可接受的公平结果的前提下尽可能减少对可信第三方的依赖；新协议在离线可信第三方介入的情况下能够达到可接受的公平结果；而且协议中的证据是第三方可验证的，未使用特殊的签名和加密技术，具有较好的适用性。 展开更多

关键词 挂号邮件 条件可信第三方 安全协议

在线阅读 下载PDF 职称材料