RSA在电子无记名投票统中的应用

本文给出了一个基于RSA密码体制的投票协议，该协议具有以下功能：确认投票者的合法资格，确保投票的无记名性，确保计票的公正性．协议对于系统中的非正当行为有较好的抵御能力．     

基于群签名的电子选举协议

本文给出了一个基于群签名的电子选举协议,它具有确认投票者的合法资格,确保投票的无记名性,确保计票的公正性等功能。协议对于系统中的非正当行为有较好的抵御能力。     

安全量子投票协议

结合人工投票的实际需求,提出了一个量子投票的模型及协议。该协议克服了传统电子投票中普遍存在的计算安全性的局限,具有无条件安全性。与现存的量子投票协议相比,本协议对验票人的行为采用即时监督来代替事后审计,同时降低了技术难度以提高协议的安全性及运行效率。     

一个实用的电子投票协议的设计

Ｆｕｊｉｏｋａ等人在文献［１］中提出了一个可用于大规模投票的电子投票方案，但是它不允许投票者弃权，因此使该方案缺乏实用性。本文在Ｆｕｊｉｏｋａ方案的基础上改进设计了一个新的电子投票协议，它采用了阈值方案的思想，使得在合法投票者弃权时，冒名投票者只有很小的成功可能性。本协议保持了原方案的各种优点，同时又增强了系统的安全性和灵活性，是一个实用的电子投票方案。     

基于d维纠缠态的安全量子投票协议

在投票过程中如何保护投票人的隐私是当前量子投票协议设计中的一个重要研究课题.本研究通过对d维量子纠缠态进行分析,利用其相位可以隐藏秘密信息的性质,设计一 个安全量子投票协议.通过对协议的分析发现,在量子信道中传递选票信息时,协议能够隐藏投票信息,满足投票人对身份信息的安全性和匿名性需求,有效保证投票人的投票信息不被窃取...     

一种用于电子投票领域中的可否认认证协议

为保护投票人在电子投票领域中的投票自由,利用基于双线性对的指定验证者签名提出一种可否认认证协议,并分析了安全性.     

一种新的超级节点对等网的声誉管理协议

针对现有对等网中声誉管理的不足,基于预投票的声誉管理协议,提出了一个适用于超级节点对等网SP2PRep,在SP2PRep中,叶子节点预先向超级节点汇报声誉投票,声誉查询仅在超级节点层进行.给出了SP2PRep协议描述、实现的消息格式和体系结构.分析和仿真表明:SP2PRep既满足了声誉投票的安全性需求,又能够减少网络带宽消耗、提高声誉查询效率和快速识别恶意节点.SP2PRep协议能够很好地改善超级节点P2P系统的安全状况,促进它们的应用.     

一个适合大规模的电子选举协议

结合ElGamal密码体制和RSA盲签名体制,设计了一个适合大规模选举的电子投票协议.在该协议中,选民将选票进行两次不同方法的盲化,既切断了选民与选票的联系,又真正保证了选票内容的安全性,满足了安全选举的基本要求.选票是由选举机构制定的电子选票,保证了无收据性,也提高了计票阶段的效率.该协议所需选民计算的参数较少,效率较高,适合于实际应用.     

新的盲签名方案在电子投票协议中的运用

电子投票的安全性至关重要.文章创新性地将比特承诺技术运用于基于椭圆曲线的盲数字签名方案中,该方案的安全性基于椭圆曲线离散对数困难问题,有很强的安全性,且在密钥长度和执行效率上具有显著优势.并将该方案用于电子投票协议中,对协议的安全性进行了分析,有很.强的实用价值.     

基于改进投票协议的群决策综合评判方法

研究在群决策支持系统(GDSS)中对决策对象的综合评判问题.在分析现有方法局限性的基础上,提出一种基于改进的Bora投票协议的群决策综合评判方法,以实现agent对代理者偏好的提取.通过比较简便的方法收集决策者的评价意见,依照协议将定性的评价映射为数量评分.采用的投票协议可以避免建设性的操纵,克服了以往系统的主要缺陷,有效地实现了多人、多因素条件下的定性评价的量化和排序.     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

阿富汗政府这两年:既有成绩,也有不足

正阿富汗总统加尼与首席执行官阿卜杜拉之间为期两年的"分权协议"于9月30日到期。对此,阿富汗国内外出现了一些对现政府继续执政的合法性的讨论。不过,阿卜杜拉已明确表示,阿富汗民族团结政府有效期为五年,将在分权协议期满后继续领导国家前进。2014年阿富汗举行总统选举,投票过程整体顺利,但在第二轮投票中曝出舞弊丑闻。为此,排名第二的候选人阿卜杜拉公开指责排名第一的加尼操纵选举,明确表示不会接受选举     

一种新型卫星网管协议的Petri网描述与验证

介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础·     

基于群签名的电子投票方案

对当前主流的电子投票方案进行了分析比较.以群签名方案为基础,利用知识签名和盲签名,提出了一种新的电子投票方案.方案确保了系统的公平性、匿名性、合法性、唯一性等特点,构建了一个比较可靠的系统.     

一致性测试中的TTON和MSO

计算机网络中，描述一种协议并对其进行标准化并不能确保成功的通信。这是因为协议标准目前基本上是使用自然语言描述的，对协议的不同理解会导致不同的协议实现。一致性测试就是测试协议实现是否符合协议说明。TTCN是一致性测试中最常用的技术，本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展，以及可以将测试用例可视化的技术MSC。     

秘密计票的多候选人电子投票方案

基于Mixnet的电子投票方案、基于同态加密的电子投票方案、基于盲签名的电子投票方案被看作是电子投票的3个主流投票方案,而同态加密方案以其高效和灵活的优点更加受到人们的青睐;多候选人电子选举方案在许多实际环境下具有重要的应用价值,但现有绝大多数方案由于技术限制只能进行"两选一"投票.该文设计了基于同态加密的一种新的多候选人电子投票方案,该方案在满足已有的电子投票方案安全要求的基础上,还能满足多个新的安全特性,尤其是秘密计票性.     

密钥交换协议的安全性分析

通过对两种攻击的分析，指出缺少认证性的密钥交换协议是不安全的．从认证性入手，在以下两个方面探讨了密钥交换协议的安全性：一方面讨论该协议应采用的消息元素和密码体制，为规范此类协议的设计指出了一个可行方向；另一方面通过两个密码学游戏给出了安全密钥交换协议的定义，该定义量化了协议的认证性，与以往的定义相比，可更准确和直观地分析这种协议的安全性．     

低成本RFID协议的设计及BAN形式化分析

目的通过分析现有的典型RFID认证协议的效率与成本,针对数字化图书馆RFID认证协议的高成本问题,提出一个低成本的RFID认证协议。方法通过去掉标签中的随机数模块,然后利用阅读器存储能力强、存储随机数模块来确保发出消息的新鲜性。结果该低成本RFID认证协议仅使用一对提前预约好的密钥对,降低了标签的硬件成本和计算能力。结论通过BAN形式化分析,该协议达到了预期的安全协议的认证目标,非常适合于低成本的RFID系统。     

基于盲签名的电子选举方案的改进

在分析Sensus电子投票系统的基础上,针对该系统的不足之处提出了相关的改进意见,并改进设计一个可用于互联网大规模投票的电子选举方案,该方案采用了阈值、盲签名、验证序列号等思想,使得本协议方案在保持了原有方案的各种优点的同时,增强了电子投票系统的安全性和公正性,并具有较高的效率,是一个实用的电子投票方案。     

一个高效的量子安全多方计算协议

安全多方计算是一类重要的密码原语,在电子投票、数据挖掘、区块链、云计算等领域有着广泛的应用.本文利用量子纠缠特性和欧拉定理,提出了一个高效的量子安全多方计算协议.协议中,所有参与方在一个半可信第三方的帮助下实现多元多项式函数的安全计算.性能分析表明该协议是正确的,并且可以抵抗一些常见的外部和内部攻击.此外,本文所提协议不仅可提高粒子的检测效率,还能有效降低协议所需的通信复杂度.