论文部分内容阅读
电子投票相对传统投票具有安全、便捷、低成本的优势,近年来得到了广泛的关注。2012年孙培勇等人提出了基于多方求和的多候选人电子投票方案。经分析发现该方案不满足可验证性,给出了一种具有可验证性的多候选人电子投票方案,保证计票结果的不可欺骗性。
一种可验证的多候选人电子投票方案
【摘 要】
：
电子投票相对传统投票具有安全、便捷、低成本的优势,近年来得到了广泛的关注。2012年孙培勇等人提出了基于多方求和的多候选人电子投票方案。经分析发现该方案不满足可验证
【机 构】
：
桂林电子科技大学数学与计算科学学院,桂林电子科技大学广西可信软件重点实验室
【出 处】
：
计算机工程与科学
【发表日期】
：
2015年9期
【基金项目】
：
国家自然科学基金资助项目（61363069）,广西自然科学基金资助项目（2014GXNSFAA118364）,广西研究生教百创新计划资助项目（YCSZ2015149）,广西高等学校高水平创新团队及卓越学者计划,桂林电子科技大学创新团队
其他文献
如今,在新时代不断发展的背景下,党风廉政与反腐败工作不断落实,并且引起了社会的高度重视,在这一过程中,纪检监察部门的监督职责发挥着非常重要的作用。因此,对于相关的疾控
【目的】为了研究不同株行距配置对机采棉花冠层结构指标及产量的影响。【方法】在田间条件下,选用棉花杂交种鲁棉研24号和常规品种新陆早60号为供试材料,设置适宜机采的1膜3
在数学解题方法中，参数法是给人印象最深的一种，对参数方程中参数的几何意义和物理意义的了解，是正确选取参数的前提。正确选取参数，往往能使得一些看似复杂的问题变得简单。
<正> 一、流行病学和饲养情况调查内蒙古乌拉特前旗蓿亥乡沙脑包某个体养鸡专业户,1986年4月从旗改良站买进雏鸡300只,成活率仅为60%。鸡舍卫生条件一般,饲料配合尚好,经常加
目的:探讨针灸及穴位注射结合语言训练治疗语言发育迟缓的临床疗效。方法:选取64例语言发育迟缓患儿,随机分为观察组和对照组各32例,对照组患儿给予单纯语言训练治疗,观察组
会计环境的变化导致会计信息使用者对会计信息的需求变化,从而推动会计信息披露模式的不断改进和披露内容的不断扩展,体现了会计有用性与会计信息披露之间的内在互动性。本文
<正>桂政发[2016]79号各市、县人民政府,自治区人民政府各组成部门、各直属机构:根据《社会救助暂行办法》、《农村五保供养工作条例》和《国务院关于进一步健全特困人员救助
期刊
在日益发展的现代社会中,人民生活水平日益提高,住房需求越来越高,房地产上市公司仍是社会发展的重要支柱。但是近年来,许多房地产公司却出现市场泡沫化严重的现象,究其原因,
藏品征集是博物馆主要职能之一,是博物馆文物蒇品的主要来源,而文物藏品是博物馆生存与发展的生命力源泉,是开展科学研究、陈列展览和宣传教育的物质基础。本文就地市级博物
为在实验教学中实时掌握学生的实验测试情况并进行有效的指导,利用AVR单片机和RF4432无线射频模块,设计了一个实验数据无线收发系统。针对实验中的两个主要流程,在射频模块的FIFOs模式下,提出了一套满足实验教学需求的上位机和下位机无线通信协议,并采用时分通信防止数据冲突。详细介绍通信链路的建立、主机与从机的通信协议和通信时序、可视化界面的设计思路。将此系统应用于密立根油滴实验进行了测试,结果表明