【摘 要】
：
该文主要讨论具有全体可验证性的电子选举方案的设计.在文中,我们通过分析Sako等人提出的电子选举方案,指出该方案由于服务器在证明自己的行为时泄露漏了有关信息,导致了此方
论文部分内容阅读
该文主要讨论具有全体可验证性的电子选举方案的设计.在文中,我们通过分析Sako等人提出的电子选举方案,指出该方案由于服务器在证明自己的行为时泄露漏了有关信息,导致了此方案的假设"只要有一个服务器诚实就可以保证投票者的匿名性"不成立.并在此基础上提出使用Shamir门限方案,保证在有t(t≤n>个服务器诚实时,投票者的匿名性得到保证;使用盲门限签名方案保证投票者在注册后可以弃权;在解密并统计选票的过程中采用两个步骤,随机化置换过程与解密过程分开,保证服务器对选票的解密正确而不泄漏消息.此方案是强壮的,只有在选举声明阶段投票者发现自己的选票没有被公布,或者在诚实的服务器个数小于t时才会中断选举过程.此方案是公平的,所有的候选人员只有在选票被解密并公布统计结果时才知道有关的选票信息.此方案合理的,任何投票者的选票只会被记录一次,任何不合法的投票者都不能进行投票,不合法的选票不会被统计.此方案是全体可验证的,任何对选举结果感兴趣的人都可以通过在公告牌的显示信息对服务器的解密过程进行验证.
其他文献
进入20世纪90年代,科学技术的迅猛发展对教育提出了更高的要求,如何培养面向21世纪新型人才引起了人们的普遍关注,世界教育的趋势是在教育教学过程中承认和尊重学生的主体地
该文以规范理论为基础,将求P×P和P的blowup的量子上同调群上的Dubrovin联络的平坦截面转化为求解PDE方程组.再利用Frobenius可积定理,将这复杂的多元的PDE方程组转化为求解
该文讨论马氏决策模型在证券市场中的应用.主要通过对中国证券市场进行全面分析,指出中国证券市场管理层做出决策中的一些问题,得出中国证券市场的监管决策必须建立科学模型
该文主要研究球面上紧致极小子流形的内蕴刚性,改进了丘成桐、沈一兵等人关于Ricci曲率和截曲率的Pinching定理.第一章简要介绍了黎曼几何中的基本知识,主要内容为:仿射联络,
该文研究如下的抛物型Hessian方程的第一初边值问题的古典解:该文用比较原理证明了问题(1)至多存在一个古典解,应用连续性方法,得到了问题(1)古典解的存在.在得到所需的先验
在该文中,我们将研究空间形式N(c)中具常纯量曲率的n维紧致有向子流形的内蕴刚性.内蕴性质一直是整体微分几何的研究所关注的重要课题.对于E中刚性,有著名的Hilbert-Liebmann
本学位论文研究了两类具时滞的HIV-1感染模型,即具Beddington-DeAngelis感染函数的时滞HIV-1感染模型和具有免疫应答及非线性感染函数的时滞HIV-1感染模型.考虑到病毒离子接
本文考察了亚纯函数以及一族亚纯函数生成的半群的动力学性质.文中得到的主要结果概述如下： 1.在第二章，我们考察了两个超越亚纯函数f和g复合的动力性质.我们证明了若f和g满
湖北警官学院(以下简称“我院”)是在原湖北公安高等专科学校基础上组建的省属公安本科院校.“升本”以来,辛勤耕耘在我院大学英语教学一线的教学团队密切关注大学英语教学改
随着高性能并行计算机技术的飞速发展，并行计算的应用日趋广泛，分布式存储机群系统也日益受到高性能计算领域的重视。与此同时，为了充分利用计算资源，提高并行计算效率，用户在使用