Boneh-Boyen Scheme 在标准模型下的安全性证明 内容小结

最新推荐文章于 2025-07-31 09:08:06 发布
原创 最新推荐文章于 2025-07-31 09:08:06 发布 · 1.9k 阅读 · 11 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

探讨Boneh-Boyen签名方案在标准模型下的安全性证明，分析其与随机谕言机模型的区别，通过规约算法设计展示如何在缺乏谕言机帮助下实现签名的安全性。

Boneh-Boyen Scheme 在标准模型下的安全性证明  内容小结

密码学可证明安全推荐书目（系列博客内容为这两本书学习笔记与内容小结):

《密码学中的可证明安全性》杨波 ：清华大学出版社

《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu ：Springer

标准模型有时也被描述为without oracle modle:

Boneh-Boyen Scheme 协议描述

系统初始化阶段：

                     

秘钥生成阶段：

                    

签名阶段：

          &nbs

最低0.47元/天 解锁文章
安全性证明（1-4）ZSS数字签名机制
qq_50929742的博客
07-26 1173
和BLS类似的可以知道ZSS数字签名机制的模拟成功概率为1/。为了做改进也有类似的修改方法，我看过修改方法发现大同小异前面已经介绍过两遍了就不再进行介绍了。而比较二者的最大区别就是ZSS数字签名机制嵌入的是q-SDH困难问题。...+
FDH签名方案可证明安全分析
mrh123456hsy的博客
10-26 1445
RSA密码系统如下： FDH签名方案如下： 可证明安全分析大致如下： 角色：仿真器I，攻击者F。 仿真器I拥有公钥（n,e）随机选择y，仿真器需要利用攻击者的能力解决RSA求逆问题，即需计算出 仿真器I执行hash询问如下（仿真器将y嵌入到自己的hash询问应答中）： 签名询问如下： 最后攻击者给出签名挑战（即敌手给出消息mi的有效签名即x=h(mi)d ，这里我们假设敌手已经进行过ha...
13、基于q - SDH的匿名凭证系统优化与证明
最新发布
rice5的博客
07-31 44
本文探讨了基于q-SDH的匿名凭证系统的优化与安全性证明。重点包括单用途凭证的匿名性分析及其批量处理方法，从而提升效率；同时介绍了交互式凭证发行的优化设计，并扩展至其他q-SDH相关系统。文章通过多个引理和定理的详细归约证明，验证了系统的安全性和不可链接性，为构建更高效的匿名凭证体系提供了理论支持与实践指导。
密码学中的常见困难问题
qq_45983946的博客
10-18 1434
如果给定一个问题实例作为输入，在多项式时间内找到这个问题实例的正确解的概率是l的一个可忽略的函数，用ελ（简称ε）表示，那么用安全参数λ生成的计算问题是困难的。如果λ不够大，计算问题肯定很容易。下面给出一些计算难题，其中GG×G→GT​。gga∈GG是一般的循环群，a∈Zp​a给定gga∈G，在循环群上计算出指数a是困难的。（因为它涉及在有限群中通过逆运算（即对数）来找回指数a，这在一般情况下是计算上非常困难的。ggagb∈。
BBS群签名方案
qq_44722300的博客
01-13 2085
群签名方案是一种允许群成员代表群匿名签名消息的方法，我们接下来介绍由 Boneh 在2004年提出的一个简短群签名方案。
论文阅读---基于属性凭证的保密电子票据方案
qq_44722300的博客
01-21 804
Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials在 2004 年，Boneh-Boyen 提出了一个短签名方案。该方案常用于构造高效的成员证明（setmembership proof）和范围证明（range proof）。本文中，我们使用该签名方案为我们的 ticket policys 生成 tags。KeyGen. BG(1l)→(e,p,G,Gτ)\mathcal{BG}(1^l)\rightarro
2、Boneh - Boyen签名方案：原理、安全性与算法分析
u0v1w2x3的博客
07-02 54
本文深入分析了Boneh-Boyen签名方案的原理、安全性以及相关算法的性能。文章首先介绍了q-SDH问题和MSDH问题的基本定义及其在签名方案中的应用，随后详细描述了Boneh-Boyen基本签名方案和完整签名方案的密钥生成、签名和验证过程。在安全性分析部分，文章探讨了如何将存在性伪造归约到q-SDH问题，并引入Cheon算法分析其对签名方案的潜在威胁。此外，文章还对SDH算法的运行时间进行了理论和实验分析，并与经典的Pollard lambda和rho算法进行了对比，展示了其在合适参数下的性能优势。最后
1、基于配对密码学会议与Boneh - Boyen签名方案分析
u0v1w2x3的博客
07-01 46
本文围绕第三届基于配对密码学国际会议（Pairing 2009）及其重点论文《Boneh - Boyen Signatures and the Strong Diffie - Hellman Problem》展开分析。文章详细介绍了会议的基本情况、组织结构、论文主题分类，并深入探讨了Boneh - Boyen签名方案与q - SDH问题之间的安全性等价关系。通过使用q - SDH预言机，论文提出了一种对Boneh - Boyen签名进行存在性伪造的算法，从而证明了该签名方案的安全性等价于q - SDH问题的
基于身份的加密(IBE)方案
毕业作品网站
02-28 1138
我们的构造是对Boneh和Boyen的[1]的修改，对于一个身份标识v，我们计算，而在他们的方案中，它们计算，其中v被解释为一个整数。然后选择一个随机的n长向量，−→x=(xi)，其中−→x的元素从0和m−1之间的整数中均匀随机选择，一个值，x，在0和m−1之间均匀随机选择。我们提出了第一个有效的基于身份的加密方案，在没有随机预言下它是完全安全的，。我们的IBE方案(t，q，)是安全的，假设决策(t+O(−2ln（−1）λ−1ln（λ−1）)，32(n+1)q)BDH假设成立，其中λ=1 8(n+1)q。
论文研究-一种新型群签名的分析与改进.pdf
07-22
最近提出的一种新型群签名方案，首先对Boneh-Boyen短签名提出了一种变形方案，然后在此变形方案的基础上构造一种群签名方案，使得它不依赖于可信第三方来为群成员产生证书。指出了此变形方案本身是错误的，故在此基础上的群签名也是不成立的。除此之外，所构造的群签名方案本身也存在签名长度过长、同一签名成员的签名存在关联性的缺陷。最后，给出了改进的方案。
基于Borromean 环签名的隐私数据认证方案
01-29
在区块链系统中, 隐私保护是一个非常重要的问题. 事实上, 如果交易的金额比较大, 那么交易 的发起者和接收者都不希望将这笔金额公开.利用Borromean 环签名得到对金额承诺消息的最终签名, 则该签名是对隐藏金额的范围证明.
论文研究-一个标准模型下可证明安全的无证书签名方案.pdf
09-12
作为目前聚类分析的新兴研究热点，聚类组合方法能将两种或多种聚类方法集成起来以改善其性能。从聚类多样性和共识函数两方面综述了最新研究进展，探讨将神经网络组合的思想用于聚类组合。最后指出了将来可能的研究方向。
智能合约隐私保护论文：An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchai
小熊划水博
05-20 2902
Shunli Ma, Yi Deng, Debiao He, Jiang Zhang, Xiang Xie. An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain. Cryptology ePrint Archive, Report 2017/1239, 2017. ht...
ZSS 协议在随机谕言机下的安全证明 内容小结
密码小仙女
08-14 1259
ZSS 协议在随机谕言机下的安全证明 内容小结 密码学可证明安全推荐书目（系列博客内容为这两本书学习笔记与内容小结): 《密码学中的可证明安全性》杨波 ：清华大学出版社 《Introduction to Security Reduction》Fuchun Guo;Willy Susilo;Yi Mu ：Springer ZSS 方案描述 zss 方案是《introduction to security reduction》中对于随机谕言机模式下H型 C型 I型中的最后一种类型-----I型，从下.
密码学中的各种假设——DL/SDH...
mutourend2010@gmail.com
09-23 6570
(B)SDH assumption
论文笔记-vChain: Enabling Verifiable Boolean Range Queries over Blockchain Databases
qq_40431700的博客
06-02 757
提出了一种基于累加器的可认证数据结构，可以动态聚合任意查询属性 提出块内和块间索引，聚合块内和块间数据，可以做高效查询验证 倒排前缀树结构，加速同时处理大量数据的订阅查询1.range查询
[密码学][困难问题][常见规约]密码学问题常见困难问题
dadongwudi的博客
01-09 4353
参考网址(科学上网):https://web.archive.org/web/20120121090326/http://www.ecrypt.eu.org/wiki/index.php/Main_Page 密码学问题常见困难问题 其困难问题的介绍非常友好，请根据目录快速找到相关资料 以下是检索 目录 Discrete logarithm problem DLP: discrete logarithm problem CDH: computational Diffie-Hellman problem S
随机预言模型和标准模型 -2014-03-24 15:35
jinjiaoooo的专栏
05-28 4521
随机预言模型下的可证明安全：    Goldwasser 等学者首次比较系统地阐述了可证明安全思想，并给出了具有可证明安全性的加密和签名方案[44，48]，然而，上述方案的可证明安全是以严重牺牲效率为代价的，因此，上述方案虽然在理论上具有重要意义，但并不实用。1993年,Bellare 和 Rogaway 两位学者[49]正式提出了随机预言模型（Random OracleModel,ROM）方法
基于双线性对的短签名方案：标准模型下的增强安全证明
本篇论文深入探讨了"标准模型下基于双线性对的短签名方案"，由蒋维佳和姜平进两位作者共同完成，他们来自河海大学计算机及信息工程学院。论文针对的是随着信息技术飞速发展和互联网广泛应用背景下，确保信息安全性与...
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值