容忍损毁的多承诺者门限数字承诺协议

1

作者 孙丽艳 周健 杨威 《沈阳大学学报（自然科学版）》 CAS 2021年第2期155-159,166,共6页

针对多承诺者参与的承诺协议可能因部分成员的妥协而造成协议失败,不能满足复杂安全协议的功能需求的问题,提出一种多承诺者参与的门限数字承诺协议,将数字承诺协议从两方参与的交互协议扩展成多方参与的交互协议,通过门限密钥机制为数... 针对多承诺者参与的承诺协议可能因部分成员的妥协而造成协议失败,不能满足复杂安全协议的功能需求的问题,提出一种多承诺者参与的门限数字承诺协议,将数字承诺协议从两方参与的交互协议扩展成多方参与的交互协议,通过门限密钥机制为数字承诺协议的参与者分配承诺碎片.承诺打开前,承诺人使用门限密钥的公开加密密钥保护分项承诺隐藏性和完整承诺的正确性;在承诺打开阶段,超过门限数量的承诺人使用密钥碎片合作打开承诺,支持身份与承诺的独立性和绑定性.建议协议支持多承诺者参与的承诺协议,拓展了承诺组织结构,抵御承诺者和接受者间的合谋攻击,提高承诺协议的容毁性,增强承诺协议的安全性和灵活性. 展开更多

关键词 数字承诺协议 门限密钥 承诺结构 承诺分项 承诺碎片 合谋攻击

下载PDF 职称材料

UC安全计算的一种信任模型 被引量：2

2

作者 张妤 胡杰 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2012年第3期106-111,共6页

UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种... UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种公钥基础设施风格的双陷门分离的信任模型DBT模型,作为实验在DBT模型中实现了UC安全的承诺协议。实验结果表明DBT模型集成了现有信任模型的优点,并且支持协议的完全可模拟性。 展开更多

关键词 密码协议 通用可组合 安全计算 承诺协议 信任模型

下载PDF 职称材料

哈希证明系统及应用研究

3

作者 赵秀凤 《计算机科学》 CSCD 北大核心 2012年第B06期18-23,共6页

哈希证明系统在2002年欧密会上由Cramer和Shoup首次提出。哈希证明系统的概念自提出以来得到广泛研究,目前已有多个修改版本。"投影性"和"平滑性"是哈希证明系统的两个重要特性,正是由于这两个特性使得哈希证明系... 哈希证明系统在2002年欧密会上由Cramer和Shoup首次提出。哈希证明系统的概念自提出以来得到广泛研究,目前已有多个修改版本。"投影性"和"平滑性"是哈希证明系统的两个重要特性,正是由于这两个特性使得哈希证明系统除了用于设计CCA安全的公钥加密体制之外,还广泛应用于各种安全协议设计,比如:基于口令认证的密钥交换协议、不经意传输协议、可否认的认证协议、零知识证明协议和承诺协议等。介绍了哈希证明系统及其变形的各种定义,分析了定义之间的派生关系和安全级别关系,并讨论了哈希证明系统在密码学中的应用。 展开更多

关键词 哈希证明系统 子集成员问题 CCA安全 密钥交换 OT协议 可否认认证 零知识证明 承诺协议

下载PDF 职称材料

Web服务事务QoS管理 被引量：1

4

作者 李杰 唐卫清 王行刚 《计算机工程》 EI CAS CSCD 北大核心 2006年第7期94-96,共3页

随着Web服务在电子商务等应用领域的快速发展,Web服务中的QoS管理,特别是Web服务事务中的QoS管理,成了一个迫切需要解决的问题,它对于服务的提供商和用户都同样重要。但是Web的动态性、不可预见性等特点使得提供全面的QoS管理成为一个... 随着Web服务在电子商务等应用领域的快速发展,Web服务中的QoS管理,特别是Web服务事务中的QoS管理,成了一个迫切需要解决的问题,它对于服务的提供商和用户都同样重要。但是Web的动态性、不可预见性等特点使得提供全面的QoS管理成为一个富有挑战性的工作。并且,现有的Web事务管理沿用了数据库的事务管理模式,不能提供深入全面的支持。为了加强QoS管理,该文提出了基于QoS管理的事务计算模型和基于QoS的主动两阶段提交协议QA-2PC。QA-2PC即使在操作系统和网络不能提供完全保障的前提下,也可以保证全面的质量服务。 展开更多

关键词 服务质量 WEB服务 事务 提交协议

下载PDF 职称材料

一个安全的广义指定验证者签名证明系统 被引量：1

5

作者 陈国敏 陈晓峰 《电子与信息学报》 EI CSCD 北大核心 2009年第2期489-492,共4页

广义指定验证者签名(UDVS)可以实现任意的签名持有者能向任意的验证者证明签名者确实签署了该签名,而且验证者没有能力向第三方证明该签名是有效的。这种签名方案可以保护签名持有者的隐私信息,因而在证书系统中有着重要的应用。然而,U... 广义指定验证者签名(UDVS)可以实现任意的签名持有者能向任意的验证者证明签名者确实签署了该签名,而且验证者没有能力向第三方证明该签名是有效的。这种签名方案可以保护签名持有者的隐私信息,因而在证书系统中有着重要的应用。然而,UDVS需要签名持有者(designator)与指定的验证者(designated-verifier)通过签名者(signer)的公钥体系来生成自己的密钥对,这在现实情况下是不合理的。最近,Baek等人(2005)在亚洲密码会提出UDVSP(Universal Designated Verifier Signature Proof)来解决这个问题。该文首先指出Baek等人所给出的UDVSP协议存在一个安全性缺陷,即不满足UDVS系统中的不可传递性(non-transferability),然后提出一种新的UDVSP协议,并证明该方案满足所定义的安全属性。 展开更多

关键词 广义指定验证者签名证明 双线性对 承诺协议

下载PDF 职称材料

基于防篡改硬件模型的UC安全承诺协议 被引量：1

6

作者 张妤 阴建强 胡杰 《计算机工程》 CAS CSCD 2013年第2期125-129,共5页

从通用可组合(UC)框架的基本概念出发,分析UC安全性对承诺协议的要求,得出以下结论:朴素模型中不存在UC安全承诺协议是因为承诺协议的安全需求与UC安全性要求间存在矛盾。在此基础上提出一种基于防篡改硬件模型的UC安全承诺协议UCCOM。... 从通用可组合(UC)框架的基本概念出发,分析UC安全性对承诺协议的要求,得出以下结论:朴素模型中不存在UC安全承诺协议是因为承诺协议的安全需求与UC安全性要求间存在矛盾。在此基础上提出一种基于防篡改硬件模型的UC安全承诺协议UCCOM。分析结果表明,UCCOM的安全性不依赖于可信第三方,与同类协议相比,使用的密码学操作更少,效率更高。 展开更多

关键词 承诺协议 通用可组合安全性 防篡改硬件 隐藏性 绑定性

下载PDF 职称材料

一种动态的可验证秘密共享方案

7

作者 石润华 黄刘生 《安徽大学学报（自然科学版）》 CAS 北大核心 2007年第4期25-28,共4页

提出一种新的可验证的秘密共享方案.该方案具有两种形式:一种是计算安全的,与Feldman方案等效;另一种是无条件安全的,与Pedersen方案等效.此外,设计了防欺诈的共享更新协议和共享重构协议.在执行此类协议时,新方案比Feldman方案和Peder... 提出一种新的可验证的秘密共享方案.该方案具有两种形式:一种是计算安全的,与Feldman方案等效;另一种是无条件安全的,与Pedersen方案等效.此外,设计了防欺诈的共享更新协议和共享重构协议.在执行此类协议时,新方案比Feldman方案和Pedersen方案更有效.因而,新方案是一种非常有效的、动态的可验证秘密共享方案. 展开更多

关键词 门限方案 秘密共享 承诺协议 离散对数

下载PDF 职称材料

统计绑定的非交互的非延展承诺(英文)

8

作者 黄桂芳 胡磊 《中国科学院研究生院学报》 CAS CSCD 北大核心 2013年第2期264-271,共8页

在STOC2003上,提出了一个公共参考串模型(CRS)下的非交互的可重用的统计绑定的非延展承诺方案。该方案的CRS由4部分构成:承诺的公钥、签名方案的公钥、广义单向哈希函数和一个对串0的承诺。我们使用2个签名方案构造了一个此类方案,方案... 在STOC2003上,提出了一个公共参考串模型(CRS)下的非交互的可重用的统计绑定的非延展承诺方案。该方案的CRS由4部分构成:承诺的公钥、签名方案的公钥、广义单向哈希函数和一个对串0的承诺。我们使用2个签名方案构造了一个此类方案,方案中CRS只有2部分:模糊承诺的公开参数和签名方案的公钥。因此,新方案的CRS更短些。 展开更多

关键词 承诺 非延展性质 ∑-协议 签名

下载PDF 职称材料

分布式内存数据库的恢复 被引量：3

9

作者 林春 《航空计算技术》 2003年第2期90-92,共3页

对分布式内存数据库的恢复进行了讨论,内容包括:转储、分布式事务提交及日志。在最后提出了一个日志生成算法,该算法针对机群式环境下的应用,对两阶段提交协议(2-Phase-CommitmentProtocol)进行了改进,有着良好的实用前景。

关键词 分布式内存数据库 逻辑日志 两阶段提交 数据恢复 数据库故障

下载PDF 职称材料

一种基于两级事务模型的先提交协议 被引量：2

10

作者 卢正鼎 陈光 《华中理工大学学报》 CSCD 北大核心 1999年第9期101-104,共4页

将集中数据库中的多级事务模型引入多数据库中，使之成为两级事务模型．分析了一种提交协议：局部数据库的全局子事务先于全局最终决定提交，简称先提交协议．指出先提交协议十分适合两级事务模型。

关键词 两级事务模型 先提交协议 全局 局部 数据库

下载PDF 职称材料

基于零知识集的群组密钥分配方案 被引量：4

11

作者 孙海波 林东岱 《电子学报》 EI CAS CSCD 北大核心 2005年第2期345-349,共5页

零知识集是一种新的具有零知识性质的集合 .这种集合的构造使得证明者对于任意元素都可以给出一个证明 ,证明该元素属于这个集合或者不属于这个集合 ,同时不泄漏额外的信息 .本文基于Pedersen承诺设计一种新的群组密钥分配方案 ,利用零... 零知识集是一种新的具有零知识性质的集合 .这种集合的构造使得证明者对于任意元素都可以给出一个证明 ,证明该元素属于这个集合或者不属于这个集合 ,同时不泄漏额外的信息 .本文基于Pedersen承诺设计一种新的群组密钥分配方案 ,利用零知识集的性质实现密钥分配 .协议不仅保证了组成员可以安全动态的获得组密钥 ,而且保证了组成员除了获取组密钥 ,不会得到群组中其它成员的相关信息 .与先前工作相比 ,本文提出的方案提供了更高的安全特性 ,适合应用于一些较特殊的网络应用 ,如网络秘密会议 . 展开更多

关键词 零知识集 Pedersen承诺 群组密钥分配协议

下载PDF 职称材料

分布式仿真多分辨率建模方法及一致性维护 被引量：5

12

作者 袁凌 张晓芳 +1 位作者 李国徽 庞永杰 《计算机科学》 CSCD 北大核心 2011年第11期140-143,147,共5页

在分布式仿真中,同一实体的多个分辨率模型并发以及不同实体的各个分辨率模型之间的交互会导致数据表现不一致的问题。在分析现有多分辨率建模方法的基础上,提出了适应分布式仿真环境的不同分辨率模型的树状结构建模方法,其主要由聚合... 在分布式仿真中,同一实体的多个分辨率模型并发以及不同实体的各个分辨率模型之间的交互会导致数据表现不一致的问题。在分析现有多分辨率建模方法的基础上,提出了适应分布式仿真环境的不同分辨率模型的树状结构建模方法,其主要由聚合级实体模型和平台级实体模型组成。为解决树状结构建模方法中不同分辨率模型的数据表现不一致问题,将不同分辨率模型间的交互看成分布式数据库中的事务,由此提出了一个嵌套两段式提交协议算法来有效解决不同分辨率模型的一致性维护问题。 展开更多

关键词 分布式交互仿真 多分辨率建模 交互事务 一致性维护 嵌套两段式提交协议

下载PDF 职称材料

分布式数据库两阶段提交协议研究与改进 被引量：3

13

作者 刘冉 布辉 《电脑知识与技术》 2012年第5X期3500-3502,共3页

分布式数据库具有可靠性和并行性等优点。在实现分布式数据库的过程中需要解决的最关键的问题是保证分布式事务的原子性、一致性、隔离性和持久性。两阶段提交协议可以解决这个问题,但是也存在一些缺陷。研究分布式数据库的事务处理机制... 分布式数据库具有可靠性和并行性等优点。在实现分布式数据库的过程中需要解决的最关键的问题是保证分布式事务的原子性、一致性、隔离性和持久性。两阶段提交协议可以解决这个问题,但是也存在一些缺陷。研究分布式数据库的事务处理机制,对基本两阶段提交协议所存在问题做了详细的分析并提出了一种两阶段提交协议的改进方案。 展开更多

关键词 分布式数据库 事务 两阶段提交协议 阻塞

下载PDF 职称材料

清洁发展机制在我国应对气候变化能力建设中的地位及巩固 被引量：3

14

作者 陈娟丽 《重庆交通大学学报（社会科学版）》 2013年第6期29-33,共5页

清洁发展机制在应对气候变化领域以其技术转让、资金支持的"额外性"要求对发展中国家能力建设起到了积极的推动作用。《京都议定书》第二承诺期的启动对该机制造成了一些影响,我国应从国际谈判、开发碳市场、制度改革、政策... 清洁发展机制在应对气候变化领域以其技术转让、资金支持的"额外性"要求对发展中国家能力建设起到了积极的推动作用。《京都议定书》第二承诺期的启动对该机制造成了一些影响,我国应从国际谈判、开发碳市场、制度改革、政策支持、低碳经济、相关立法、理论研究和人才培养等方面促使其提升我国应对气候变化能力建设的水平。 展开更多

关键词 清洁发展机制 能力建设 额外性 京都第二承诺期 地位巩固

下载PDF 职称材料

一种基于JMS的分布式异步事务处理模型设计 被引量：2

15

作者 王成良 李立新 +1 位作者 叶剑 秦小龙 《信息工程大学学报》 2010年第2期234-238,共5页

传统的分布式事务处理技术在实际应用中存在着效率较低和网络环境复杂时可靠性较差等问题。文章提出了一种基于Java消息服务(JavaMessage Service,JMS)的分布式异步事务处理模型,该模型采用非阻塞的事务处理机制即异步事务处理,支持并... 传统的分布式事务处理技术在实际应用中存在着效率较低和网络环境复杂时可靠性较差等问题。文章提出了一种基于Java消息服务(JavaMessage Service,JMS)的分布式异步事务处理模型,该模型采用非阻塞的事务处理机制即异步事务处理,支持并行处理子事务和全局事务部分回滚、恢复,提高了事务处理效率,增强了系统的可靠性,为分布式应用系统在复杂网络环境下事务处理和长事务处理提供了一种较好的解决方案。 展开更多

关键词 分布式事务 两阶段提交 异步事务 JAVA消息服务

下载PDF 职称材料

异构Web服务集成的转换协调机制 被引量：1

16

作者 向伟湘 杨勇 杨薇薇 《计算机应用研究》 CSCD 北大核心 2004年第7期59-60,63,共3页

对异构Web服务集成问题提出了一种Web服务集成的转换和协调机制 ,通过对异构Web服务进行转换和协调 ,将Web服务以统一的通用服务形式呈现给用户 ,有效地解决了Web服务间的异构问题 。

关键词 异构Web服务 集成 两阶段提交协议

下载PDF 职称材料

基于单向函数的完全隐藏承诺方案的构造及应用 被引量：1

17

作者 唐春明 裴定一 姚正安 《应用数学学报》 CSCD 北大核心 2008年第4期663-670,共8页

承诺方案是密码学领域中一种极其重要的协议,而完全隐藏的承诺方案是承诺方案中最难构造的.在本文。我们基于1-1的单向函数(即单向置换)构造了该类承诺方案,尤其重要的是,它仅仅只需要2轮交换复杂性.基于我们的承诺方案,我们能优化零知... 承诺方案是密码学领域中一种极其重要的协议,而完全隐藏的承诺方案是承诺方案中最难构造的.在本文。我们基于1-1的单向函数(即单向置换)构造了该类承诺方案,尤其重要的是,它仅仅只需要2轮交换复杂性.基于我们的承诺方案,我们能优化零知识证明系统的构造. 展开更多

关键词 密码学 完全隐藏承诺方案 ∑-协议

原文传递

基于承诺的水印检测协议

18

作者 刘永亮 黄铁军 姚鸿勋 《高技术通讯》 CAS CSCD 北大核心 2006年第11期1113-1118,共6页

提出了基于承诺的水印检测协议。该协议联合使用了随机置换、盲因子、承诺方案和零知识子协议等技术来隐藏水印嵌入位置信息，并采用可信注册机构的签名以保证承诺消息的真实性。该协议可用于证明数字多媒体内容的版权关系而不泄漏任何... 提出了基于承诺的水印检测协议。该协议联合使用了随机置换、盲因子、承诺方案和零知识子协议等技术来隐藏水印嵌入位置信息，并采用可信注册机构的签名以保证承诺消息的真实性。该协议可用于证明数字多媒体内容的版权关系而不泄漏任何可用于删除水印的秘密信息，尤其不泄漏水印嵌入位置的信息。而且，协议被证明是零知识的协议。 展开更多

关键词 数字水印 水印检测 承诺方案 零知识协议

下载PDF 职称材料

信息理论安全下公开可验证密钥共享方案(英文)

19

作者 唐春明 裴定一 +1 位作者 赵延孟 石桂花 《深圳大学学报（理工版）》 EI CAS 北大核心 2009年第2期121-126,共6页

基于信息理论安全的承诺方案和知识的零知识证明协议,构造一个公开可验证的密钥共享方案.在该方案中,任何参与者在密钥分布协议中都能验证其他参与者密钥分块的有效性,且在密钥重构中,仅密钥分块的接收者能验证该分块的有效性.对比可验... 基于信息理论安全的承诺方案和知识的零知识证明协议,构造一个公开可验证的密钥共享方案.在该方案中,任何参与者在密钥分布协议中都能验证其他参与者密钥分块的有效性,且在密钥重构中,仅密钥分块的接收者能验证该分块的有效性.对比可验证的密钥共享方案,该方案更具实用性,是一个独到的具有信息理论意义下安全的公开可验证密钥共享方案. 展开更多

关键词 密码学 公开可验证秘密共享方案 承诺方案 零知识证明协议 信息理论安全

下载PDF 职称材料

基于中间件的高可靠性联网售票系统

20

作者 朱文凯 丁汉 张浩 《计算机工程与应用》 CSCD 北大核心 2002年第24期253-256,共4页

文章在分析联网售票系统故障的基础上,提出了基于中间件的集群解决方案和两阶段提交协议解决方案,充分保证了高可靠性在联网售票系统中的实现。

关键词 中间件 高可靠性 联网售票系统 公路运输 旅客运输 联机事物处理系统

下载PDF 职称材料