对一个可验证加密签名方案的安全性分析

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:paleont
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对Yang等最近提出的可验证加密签名方案进行了安全性分析,结论是虽然这个方案在标准模型下是可证明安全的,但是在多用户环境下容易遭受密钥替换攻击,即一个敌手能够生成一个新公钥满足合法签名者的可验证加密签名。给出了一个具体实例,说明容易遭受密钥替换攻击的可验证加密签名如果用于公平交换协议中,在多用户环境下会违背公平交换协议的公平性。
其他文献
摘 要 林业产业是我国重要的支柱性产业,山区林业的发展对我国环境保护、资源开发及经济发展具有重要作用,同时也直接关系着山区农民的收入及生活水平。近年来,我国不断加大对山区林业产业的技术和资金投入,为山区林业的发展提供了保障,但在实际的发展中仍在存在一系列问题,制约着我国山区林业的可持续发展。基于此,通过探讨当前我国山区林业发展的现状、制约因素及未来发展的前景与方向,为山区林业的发展提供建议与参考。
《太原狱》是《聊斋志异》中的一则短小精干的法律故事,以细微之处反映了明末清初那段时期的审判和诉讼的实践乱象,形象地表现了中国法文化中情与理(法)之间的关系,从另一个侧
为了进一步优化轮胎花纹结构参数,提高轮胎花纹降噪的效果,在现有模糊遗传算法的基础上,提出了一种自适应模糊遗传降噪算(Self-adaptive Fuzzy Genetic Noise—Reduction Algorit
布依语中的舌面擦音有两种来源:一类是布依语固有词从原始台语中继承下来,一部分来自汉语借词。舌面擦音在第三土语中有塞擦化的倾向。软腭擦音在布依语中有些方言有舌根擦音的
一是实施全民治水。招募护河志愿者2 000名,落实全区281条河流、23座水库各级河长392名,区委区政府先后11次研究部署河长制,5名区级河长先后26次巡查河库,乡镇(街道)、村(社
论述了分水岭算法的原理及距离变换的具体过程。为了提高距离转换算法速度,提出了利用链码技术改进距离变换的算法。该方法利用链码技术能够准确跟踪目标物体边界的特点,按不同层次轮廓点灰度级递增的方式逐层对目标物体进行遍历,完成图像的距离转换,克服了形态学距离变换算法多次腐蚀、扫描图像,时间消耗较大的缺点。经过在木材细胞图像的分割过程中,同现有的距离变换算法比较证明,改进方法提高了距离变换速度,对提高图像分
利用对角占优矩阵的一些性质,对已有的一些结果进行了推广,并给出了非奇异H-矩阵的一类新判定准则,最后用数值例子证明了该准则的有效性.
社会主义核心价值体系是中国特色社会主义文化的精髓,在中国整体社会价值体系中居于核心地位,发挥主导作用。推动民族文化建设就必须发挥社会主义核心价值体系的引领作用:坚
在组合导航系统大规模软件开发中,为了控制软件的质量,必须对软件模块的缺陷数进行预测.根据软件模块测试报告及软件复杂度,用神经网络方法预测了软件模块的缺陷数.结果表明:
高品质的室内环境不仅能满足人们对健康、舒适和节能的要求,而且对人类活动的表现产生积极的影响.基于热舒适指标PMV,分析了人体热舒适的基本条件,阐述了稳定、均匀热环境的