关于极小泄露证明协议的注记

来源 :软件学报 | 被引量 : 0次 | 上传用户：reaker

【摘要】

：

分析了一个极小泄露证明协议的错误,给出一个更正的协议,并证明了其安全性.

【作者】

：

蒋绍权冯登国卿斯汉

【出处】

：

软件学报

【发表日期】

：

2004年期

【关键词】

：

安全协议零知识 Security protocol zero knowledge

【基金项目】

：

科技部科研项目;国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

分析了一个极小泄露证明协议的错误,给出一个更正的协议,并证明了其安全性.

其他文献

磁悬浮轴承系统不平衡振动控制的方法

针对磁悬浮磨床电主轴系统中存在的同步振动问题 ,通过计算机仿真和实验 ,研究了 2种处理方法 :力自由控制和开环前馈控制。在力自由控制中 ,控制环节对同频振动分量不加以响

期刊

磁悬浮轴承不平衡控制力自由控制开环前馈控制

多机系统的非线性自适应分散稳定控制

针对含有未知参数的励磁系统 ,提出了一种非线性自适应控制设计方法。通过递推方法得到了自适应控制策略 ,而且在控制策略中包含了对未知参数的动态估计 ,最后获得了多机系统

期刊

非线性自适应控制未知参数递推方法动态估计状态变量

2014年中国粘接界和胶粘剂行业10大新闻

1、“中国胶粘剂行业首届优秀科技论文有奖征文大赛”成功举办.活动于201 4年1月1日启动,旨在推动中国粘接与密封技术理论研究和实践应用深入发展,提升中国胶粘剂行业整体技

期刊

新型提渣装置在步进式加热炉上的开发应用

针对步进式加热炉炉底出渣较困难的情况,分析氧化铁皮渣产生的原因,开发了一种新型提渣装置,以解决炉底地坑内堆积炉渣的清理问题,实现了无需用天车即可将炉底氧化铁皮渣运至

期刊

步进式加热炉地坑式炉底提渣装置氧化铁皮渣walking beam heating furnacepit type furnace hearthsla

(Ba0.7Sr0.3)TiO3铁电薄膜热敏电容器的研制

采用射频磁控溅射法制备了用于非致冷红外焦平面阵列的BST((Ba0 .7Sr0 .3)TiO3)铁电薄膜热敏电容器 .介绍了热敏电容器上下电极的选材和制备及铁电薄膜的制备工艺 .根据热敏

期刊

BST铁电薄膜热敏电容器非致冷红外焦平面阵列电容-温度曲线

一般图拓扑的电源/地线线宽优化设计

电源 /地线 (P/ G)线宽优化是高性能超大规模集成电路 (VL SI)物理设计的重要环节 .文中通过研究一般图拓扑的 P/ G线宽优化的电路模型和数学模型 ,给出了基于单个节点的线宽优化的必要条件等几个有意义的性质 ,并在此基础上提出了 P/ G线宽优化的初始构造和优化的新算法 .该算法避免了其它算法的许多冗余搜索 ,不需复杂的网络及敏感度分析 .仿真结果表明 ,该算法得到相近的优化结果所需计

期刊

VLSI物理设计电源/地布线线宽优化

粘土结构性对其力学性质的影响及形成原因分析

本文首先介绍前人对粘土结构性对其土工特性影响研究的部分成果,然后探讨结构性粘土的区分及粘土结构性形成原因.

期刊

粘土结构性力学性质形成原因

三峡水库减淤增容调度方式研究--双汛限水位调度方案

本文研究了三峡水库减少淤积的双汛限水位调度方案及其综合影响 .建议在大洪水来临前 ,将坝前水位从 1 45m下降到 1 35m ,既腾空部分库容防洪、也增加冲沙减淤作用 .双汛限方

期刊

三峡工程汛限水位减少淤积防洪库容

湿氧化改性多孔炭对低浓度苯和丁酮蒸汽的吸附

空气中挥发性有机化合物(VOC)严重危害人体的身体健康,因而研究VOC的去除具有重要意义.该文研究了椰壳活性炭(AC)和粘胶基活性炭纤维(ACF)湿氧化处理后对低浓度VOC苯和丁酮的