【摘 要】
：
本文第一次提出把动态多密门限体制应用于大规模选举的电子投票系统,它可以允许系统中存在多个监票人(机构).即使在选票的生成、加密、传输及解密、统计过程中存在自适应的敌手,也不影响选举的正常进行,因此具有强壮性.本文提供的电子投票方案,不需调用多次交互式的零知识证明验证投票人的选举资格和监票人的身份,而是利用动态多密门体制方便地实现了选票的秘密性、广泛可验证性、公平性和匿名性,较之以前的投票方案具有更
【机 构】
：
解放军信息工程大学信息工程学院(郑州市)
论文部分内容阅读
本文第一次提出把动态多密门限体制应用于大规模选举的电子投票系统,它可以允许系统中存在多个监票人(机构).即使在选票的生成、加密、传输及解密、统计过程中存在自适应的敌手,也不影响选举的正常进行,因此具有强壮性.本文提供的电子投票方案,不需调用多次交互式的零知识证明验证投票人的选举资格和监票人的身份,而是利用动态多密门体制方便地实现了选票的秘密性、广泛可验证性、公平性和匿名性,较之以前的投票方案具有更高的通信效率和安全性.
其他文献
随着网络信息量的迅猛增长,网络攻击方式的不断翻新,网络入侵检测系统经过了由集中式处理到分布式处理、由简单软件结构到通用功能模块设计的变化过程.文中从提高NIDS的检测效率出发,设计和实现了一个基于三维链表的入侵检测系统的规则解析功能模块,该模块具有灵活的结构,提供了很好的复用性和扩展性,并实现了自定义加载检测插件的功能.
目前对基于口令的密钥交换协议的安全性分析大多只考虑了基本安全性而没有考虑前向安全性;口令的泄漏不会会导致旧的会话密钥的泄漏;长期秘密的泄漏不会导致口令的泄漏.文中对这类协议的前向安全性进行了讨论.提出一个项节点图模型,在这个模型下,形式化证明了EKE协议的前向安全性,并指出A-EKE协议中存在的前向安全性漏洞,基于项节点图给出其不意攻击路径并提出了修改方法.项节点模型可以很容易的进行程序实现,实现
随着无线网络中提供数据业务的需求日益增加,有效的管理无线网络资源日益重要.本文研究了基于非对称交易框架的WCDMA网络中上行链路中资源分配的公平性问题,这种框架兼顾了用户的资源需求和预算能力.针对有限用户以及最高可用速率限制的情况,本文考虑了以吞吐量为基础的资源分配公平性问题.通过对两个用户的特例的理论分析和数值仿真,可知当一个或两个用户工作以最高可用速率时,总效用较大,而不是以由帧成功函数决定的
移动计算是一门新兴的技术,它是通信技术与人工智能技术相结合的产物.本文利用CCS(Calculus of Communicating Systems)对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明,并给出必要的结论.本文的优点在于此方法不仅仅限于网络协议的证明,也能够将其推广到任何与进程通信相关的模型当中,此种方法对于判断一个与进程相关的模型是否具有健壮
信息系统开发的关键问题是如何获取需求.它已经困惑系统开发人员很长时间.如何建立开发人员和用户之间的沟通桥梁已成为需求工程领域的一个热点问题.本体定义了一个特定领域的通用概念以及这些概念之间的关系.所以本体可以引导用户和开发人员去建立需求模型.本文提出了三个本体的概念:业务本体,技术本体和功能本体.首先,本文给出了这些本体的定义.然后详细讨论了这些本体,最后通过本体,给出了领域需求模型.
在本文阐述了NC核心技术、特点及其发展现况.介绍了一种新的、基于NC技术的动态网络版农业专家系统开发平台,提出并探讨了这种基于NC的智能农业应用系统平台的关键技术.本研究将加速智能农业应用系统的发展与应用,提高应用系统性能的同时降低了开发农业专家系统的成本,使面向特定领域的计算机应用得到了进一步的发展.
本文分析了现有网络教学管理系统在学习者信息描述尤其是学习行为采集、评估方面的不足,并以国家"网络教学关键技术及示范工程"——网络教学管理系统为背景,基于SCORM规范,提出了网络教学管理平台上的学习者模型及其学习行为采集、分析、质量评估方案,并阐述了如何利用SOAP、XML等技术设计和实现该方案.
综合利用分布对象中间件技术和网络QoS实现机制,面向分布式多媒体应用提供支持端到端QoS的开放、集成、高性能的分布对象应用与开发平台,是开发和部署新型网络应用的迫切需要,本文在简要分析高性能网络体系结构和中间件层次结构模型的基础上,结合IntServ/RSVP集成服务模型及CORBA A/V Stream服务规范,提出一个面向分布对象应用系统开发的集成QoS模型,探讨和分析了中间件服务与网络QoS
提出并实现了一套基于Internet网络的远程测量实验系统.其主要目的是为远程教育探讨一种实际可行的实验方法.系统主要由三部分组成,连接在Internet网上的远程用户;实验室中的测量服务器和测量实验装置.远程测量系统是一种多用户系统,可供网络上多个学生同时进行实验,且不受时间、地域的限制,极大地提高了设备的利用率.
cdma2000无线链路协议RLP(Radio Link Protocol)仿真平台在OPNET上的设计和实现需要解决三个主要问题:无线信道仿真模型的选取、基站多实例模型的实现以及无格式数据流的处理.本文根据无线信道衰落特征和误码率设计了无线信道的误帧模型,提高了平台仿真运行速度;利用开发环境提供的接口设计了基站多实例线程模型;提出了伪分组法,在仿真开发平台上实现了无格式数据流的处理.RLP协议仿