一种抗强制的电子投票方案

利用秘密共享、混合网、可否认认证等安全技术,提出了一种抗强制的电子投票方案。该方案满足了电子投票的基本要求,并且较好地解决了电子投票中有关强迫投票和买卖选票的问题。由于强制者无法判断受迫者是否按照自己意愿投出选票,从而提高了电子投票的抗强制性。     

基于同态加密的多候选人电子投票方案

电子投票因其便捷的特性,日益受到人们的青睐.然而电子投票中所暴露出来的安全问题成为人们所关注的重点,如何保证电子投票中的匿名性,公开可验证性等成为一个值得关注的问题.针对现有电子投票中存在的各种问题,基于数字签名算法和全同态加密提出了一种多候选人电子投票方案.该方案采用椭圆曲线数字签名算法解决电子投票中的身份认证问题;利用全同态加密技术实现对选票加密以及对加密选票的同态计算;为了能够对选票进行批量处理,采用SIMD技术打包选票;针对加密选票计票中存在的编解码问题设计了一种同态计票器.最后基于电子投票的八个安全特性对方案的安全性进行了分析,表明该方案是安全可行的.     

基于SEAL库的同态加权电子投票系统

电子投票比传统纸质投票更为灵活高效,能节省大量人力物力,在不同选举场合中的地位越来越重要.同态加密技术可以在电子投票过程中发挥重要作用,同态加密技术结合其他安全技术和手段来设计的电子投票系统,可以在计票过程中有效保护投票者的身份隐私,相比其他类型的电子投票系统也更为简洁高效.为了解决电子投票中的身份隐私保护和实现效率问题,本文提出了一种基于SEAL库的同态加权电子投票系统,通过同态操作实现密文计票,可有效抵抗来自计票中心内部的恶意攻击,保证选票保密性和计票结果正确性;通过在选票中引入投票权重,可以使电子投票系统实现加权投票;通过将选票信息密态存储在云端数据库,将计票中心部署在云端,可在保证安全的前提下借助云计算服务实现高效计票;系统中加密算法的安全性基于格上RLWE困难问题,可以抵抗量子计算攻击.对所设计投票系统的效率测试表明,完成对1000张选票的计票工作仅耗时1.867 s,相比Will等人在ICCCRI2015中提出的基于Paillier的电子投票系统计票耗时减少了32.73%,相比Wang等人在2017年提出的基于Helib的电子投票系统计票耗时减少了99.26%,相比Li在2017年提出的基于Helib的电子投票系统计票耗时减少了91.81%.本文提出的同态加权电子投票系统可以满足多个候选人投票和加权投票,能够适用于多种投票场景,且计票效率可以满足大规模投票的应用需求.     

基于Harn部分盲签名的安全电子投票方案

本文设计了一种新的Harn部分盲签名方案,并将此方案用于电子投票的设计中,形成了一个安全可靠的电子投票方案。这种电子投票方案不仅保证了投票者身份的匿名性和选票的安全、公平、保密性,还能实现投票的不可抵赖性。此方案是传统的盲签名电子投票方案的一个改进,是一个很实用的方案。     

一种基于门限的电子投票方案

在以往电子投票方案中,验票工作都是由一名验票员承担,该验票员若不诚实,可能不记录合法选票,却统计不合法选票。为了解决该问题,提出了一种基于门限的电子投票方案。在该方案中,验票工作需要t名验票员协作,从而使验票结果更可接受。而且,投票者公布的选票结果是选票真实内容的哈希值或者密文,没人能知道选票的真实内容,从而可以防止强迫投票者投票以及买卖投票等。     

一种盲签名方案及其在电子投票协议中的应用

构造一个新的基于身份的盲签名方案,基于该方案设计一种新的电子投票协议,并对其安全性进行分析。通过给每张选票赋予唯一的选票号以及向监票中心引进秘密共享技术,解决了Foo协议所存在的选票碰撞、管理机构权限过大、匿名性等问题,能够满足电子投票的安全要求。     

一种简单的无收据电子投票系统

在现有的电子投票系统中,无收据行(receipt-freeness)与可验证性(verifiability)是电子投票协议中一对十分重要而又矛盾的属性.无收据性要求任何人不能得到或生成能证明选票内容的证据,其往往以牺牲可验证性为代价;可验证性提供给对选票及选举结果的验证,提供给投票人与选票的某种联系,这又经常被用来作为证明选票的收据.选择常用的Mix-net模式,利用TRR和1-out-of-L加密证据,re-encryption ELGamal同时实现无收据型与实现可验证性,避免了在投票人与管理机构有特殊的信道假设,减少了系统的通信代价.     

基于区块链和SM9数字签名的代理投票方案

随着互联网的普及,电子投票技术逐渐替代传统纸质投票技术。然而,传统的电子投票方案主要针对一人一票制来设计方案,在一些特殊的投票场景下,一人一票制投票方式不再适用。例如,投票者不具备专业知识却也需要投票的场景,投票者由于不能理解选举的内容而消极投票,造成选举结果不专业和不公正等问题。此外,传统的电子投票技术还存在选举过程不透明和选票不可验证等问题。针对上述问题,文章提出一种基于区块链和SM9数字签名的代理投票方案。该方案首先使用区块链技术解决选票的全局可验证问题,其次使用零知识范围证明技术解决恶意选票值的问题,然后利用基于椭圆曲线的改进ElGamal算法的同态性质实现选票加密和自计票功能,最后使用SM9数字签名算法和变色龙哈希函数设计的代理投票凭证实现投票权的转让过程。通过安全性分析,证明了文章所提方案满足鲁棒性、合法性、机密性、全局可验证性和公平性。理论分析和实验数据表明,文章所提方案性能良好,适用于需要专业知识场景下的选举。     

一种新的安全、实用的电子投票方案

电子投票最早是chaul提出的。它以各种密码学技术为理论基础,通过计算机和网络来完成投票的整个过程。使用电子投票系统,可以节省大量的人力物力资源,投票人不必到一个固定的投票中心投票,而管理机构也不必花费大量人力进行选票发放和选票统计的工作,而且电子投票系统可以减少种种人为的因素,做到更公平,更安全,更高效。如何利用电子投票的优势,设计出更具安全性、实用性的电子投票方案,是目前安全学界研究的一个热点。     

一种电子投票方案

提出了把动态多密门限体制应用于大规模选举的电子投票系统,它可以允许系统中存在多个监票人(机构).即使在选票的生成、加密、传输及解密、统计过程中存在自适应敌手,也不影响选举的正常进行,因此具有强壮性.提供的电子投票方案,无须调用多次交互式的零知识证明验证投票人的选举资格和监票人的身份,而是利用动态多密门体制方便地实现了选票的秘密性、广泛可验证性、公平性和匿名性,较之以前的投票方案具有较高的通信效率和安全性.     

新型的询问式密钥更新低成本RFID认证协议算法

射频识别(RFID)对于识别技术正发挥着重要作用,然而低成本标签本身的硬件资源有限,不能对数据隐私提供有效的安全保护.对RFID的现有技术进行了分析,对现有技术中存在的明文传输、密钥更新不同步问题做了改进,在此基础上提出了询问式密钥更新低成本标签双向认证协议,此协议在一定程度上解决了上述的问题,并在安全性和计算复杂度方面进行了分析,其运算和存贮成本低,且增加了RFID系统的安全性.     

基于RFID技术的四旋翼无人机轨迹跟踪控制系统设计

为促进四旋翼无人机的飞行自主性,增强无人监管情况下飞行器主机所具备的避障行进能力,设计基于RFID技术的四旋翼无人机轨迹跟踪控制系统;采用RFID标签识别技术,调制处理既定控制信号,利用标签识别协议,连接微型四旋翼轨迹控制器与内环姿态控制器,通过数据通信链路,提取轨迹跟踪控制所需的传输电子量,完成轨迹跟踪控制系统硬件设计;利用动力系统中的参数辨识策略,确定与轨迹姿态控制相关的物理规律标注,实现四旋翼无人机轨迹跟踪控制;实验结果表明,与机器视觉型控制系统相比,基于RFID技术的控制系统的SSI避障行进指标数值相对较高,全局最大值达到了 79％,四旋翼无人机滚转角平均值为85°,能够有效抑制四旋翼无人机滚转角的数值上升趋势,增强无人监管情况下飞行器主机避障行进能力.     

基于标签序列号扩展分组的防碰撞算法

射频识别(RFID)标签识别技术普遍应用在物流和零售行业等工业领域.为了解决多标签识别过程中信息传输时延过长的问题,在系统分析了当前多标签识别技术中的关键技术(特别是标签防碰撞技术)的优劣后,提出了一种基于标签序列号扩展分组的防碰撞算法.该算法在曼彻斯特编码的基础上,增加了递归分组的标签识别方法.该方法改变了现有算法中...     

自适应树形分组的盲分离射频识别系统防碰撞算法

针对单天线射频识别(RFID)系统中阅读器不能同时识别多个标签造成标签识别率较低的问题,结合多天线技术及基于标签ID号序列的二叉树时隙分组提出了一种自适应树形分组的盲分离RFID系统防碰撞算法.首先根据RFID系统中天线的个数调整阅读器查询码码长并发送查询信号,将符合条件的响应标签分配到相应的时隙中,使每一个时隙中的标签数小于或者等于阅读器的天线数,满足盲源分离(BSS)的多天线系统识别标签的条件,从而达到同时且快速识别多个标签的目的.仿真结果表明,与同样采用多天线技术的基于位隙动态分组的盲分离(BSDBG)算法相比,当天线个数为4~32时,所提算法的标签识别速度提高了20%~69%,标签识别率提高了60%~88%,同时该算法复杂度低,硬件开销小,实现相对简单,有利于推广和使用.     

无线射频识别技术与应用研究

无线射频识别（RFID）是一种非接触式的自动识别技术,它利用射频信号通过无线传输的方式,在读写器和电子标签之间进行数据交换和目标识别。与传统条形码等识别技术相比,RFID具有识别距离远,环境适应性强,数据存储量大,可同时识别多个物体等诸多优势,已被广泛应用于工业、零售、物流、交通等多个领域。本文详细地分析了射频识别技术特点和工作原理,阐述了系统构成和实现过程,指出了其面临的问题,并展望了未来发展趋势。     

Determinant on RFID technology investment for dominant retailer subject to inventory misplacement

Radio‐frequency identification (RFID) technology has been publicized as an effective way to solve the problem of inventory misplacement in academic research as well as in the user industries. In this paper, we consider a supply chain that consists of one supplier and one retailer where the retailer is the Stackelberg leader and makes the decisions first. The consignment contract is provided such that the supplier determines the order quantity, instead of the retailer. A Non‐RFID case, a supplier investing in RFID, and a retailer investing in RFID cases are analyzed and compared. By assuming an iso‐elastic demand function and the corresponding random factor follows uniform distribution, it is intriguing to find that both supplier and retailer have the incentive to take charge of the RFID tag cost, which is not revealed in previous research. Therefore, a case of joint investment in RFID technology is formulated to find out that there are upper and lower threshold values of RFID tag cost sharing rate; that is, if the tag cost sharing rate exceeds the upper value, it is beneficial for the supplier to invest in RFID; if the tag cost sharing rate is smaller than the lower value, it is beneficial for the retailer to invest in RFID; if the tag cost sharing rate is somewhere between these two values, both supplier and retailer are better‐off. Additionally, the end customer will be better‐off if the retailer invests in RFID.     

一种单阅读器移动RFID系统性能评估方法

中小型区域RFID标签的识别通常采用阅读器网路实现,因为只有多阅读器才能静态实现阅读器对所有待识别标签的全覆盖。但这种方法面临阅读器使用成本高,阅读器间碰撞,标签识别率低等问题。为改善上述问题,提出一种运用于中小型区域的单阅读器移动RFID系统性能评估方法,该方法以标签丢失率和全识别圈数作为性能指标,在单阅读器移动RFID系统中对已有的静态防碰撞算法的性能进行评估。实验通过判断当前时隙类型确定阅读器是否成功识别标签,每消耗1个时隙阅读器位置调整一次使得信号区及其区内标签重新确定,直至阅读器结束标签识别任务。仿真结果表明该方法能很好地对各种已有标签算法在中小型区域的RFID标签识别环境中的性能进行有效评估,同时提高RFID系统效率。     

嵌入式无线频率识别设备的设计与实现

为了降低RFID系统标签的冲突几率,优化RFTD系统的效率,设计并实现了一个基于XScale处理器的嵌入式无线频率识别设备(radio frequency identification device)的读写器系统.该系统的RFID阅读器封装了底层的硬件驱动,功能模块扩展方便,实现了对电子标签的识别功能.该系统优化了基于动态帧时隙ALOHA防冲突算法,有效地避免了电子标签数据冲突,降低了RFID系统中数据碰撞的概率,提高了电子标签系统的识别效率和稳定性.实验数据表明了基于动态帧时隙ALOHA防冲突算法的有效性.     

RFID超轻量级认证协议RCIA形式化分析与改进

无线射频识别（RFID）是物联网中的一种非接触式的自动识别技术,被广泛运用于构建物物互联的RFID系统。RCIA是一种超轻量级RFID双向认证协议,提供高安全性并声称能抵御去同步攻击。形式化方法是安全协议分析的有力手段。运用模型检测工具SPIN对RCIA协议的认证性及一致性进行验证,结果表明RCIA协议存在去同步攻击漏洞。针对此漏洞,提出基于密钥同步机制的修补方案,对RCIA协议进行了改进。对改进后的协议进行形式化分析与验证,结果表明改进后的RCIA协议具有更高的安全性。提出的协议抽象建模方法对此类超轻量级RFID双向认证协议形式化分析具有重要借鉴意义;提出的基于密钥同步机制的漏洞修补方案,被证明能有效抵御去同步漏洞,可适用于此类超轻量级RFID双向认证协议的设计和分析。     

基于ECP算法的RFID标签图像去雾与测试保障

射频识别（RFID）多标签几何分布对系统识别性能具有重要的影响,基于人工智能新技术的图像处理方法对测量多标签的几何分布提供技术支撑。在RFID系统应用的盐雾环境下,环境会对标签图像产生污染,影响标签图像的识别,进而影响RFID多标签应用性能的测试。因此,去雾便成为了盐雾环境下RFID多标签系统性能测试保障的一个关键步骤。研究了将极端通道先验（ECP）运用于图像去雾的理论,提出了将ECP运用于标签图像去雾的新算法。该算法分别利用亮通道先验（BCP）和暗通道先验（DCP）对明亮像素区域和暗区域的透射率进行估算,以此构成整张图像的总体透射率,再带入估算的大气光强,完成标签图像的去雾复原。实验结果表明,所提出的算法去雾效果较为理想,具有很好的鲁棒性。