一种容错会议密钥分配方案设计与分析

基于Byzantine模型，提出了一种会议密钥分配方案．该方案通过将秘密信息分布于多个服务器中实现了安全和容错的密钥分配．在该方案中，即使实施密钥分发的服务器组中有部分被入侵或系统部件存在故障，系统的所有授权用户仍可以获得正确的会议密钥．对方案的分析表明，基于离散对数计算和大整数分解的困难性，任何攻击者都无法获得会议密钥的相关信息，同时入侵者亦不能阻止系统的授权用户得到正确的会议密钥。     

基于Hash函数的抗攻击无线认证方案

针对无线网络的特点,给出了一种高效的抗攻击认证方案。此方案通过建立服务器与客户机之间的提问(puzzle)机制,有效均衡了服务器与整个网络间资源的不对称。协议的主要思想是,当服务器的资源使用率达到一定阈值时,服务器触发puzzle机制,即采用Hash函数产生并向客户机提交puzzle,当客户机正确求解puzzle后方可获得服务器相应的认证服务。在此过程中,服务器产生puzzle与客户机求解puzzle所需的系统代价相比要小得多。对协议的分析表明,协议安全可靠,能够有效抵御DoS等多种类型的攻击,并且具有计算负荷小、附加通信量低、协商次数少和自适应抗DoS攻击等特点。     

一种容忍入侵结构的Z规格说明

面向对象的形式化规格说明语言Obiectz在软件开发中的规格需求方面已广泛应用，但在安全关键系统开发中的应用还是空白。容忍入侵是一种全新的系统安全防护手段，是实现系统可生存性的一种方法，可用于安全关键性基础设施以及系统的基本服务的保护。显然，在容忍入侵系统的开发过程中应用形式化的规格说明方法，保证所开发的系统能够满足系统的安全需求，可增强用户对所实现系统的信任。以Obiectz方法对我们所设计的一个容忍入侵的会议密钥系统进行规格说明为例，将Obiectz的应用扩展到安全关键系统的开发和设计领域。     

《微机原理及应用》精品课程建设的探索与研究

论文围绕教学体系、教学内容、教学方法、教材建设、师资队伍建设等方面分析了《微机原理及应用》精品课程建设的建设目标,阐述了精品课程建设的内容、思路、创新点,最后说明了该精品课程建设中存在的不足。     

一种容错RSA签名方案的设计与分析

结合门限密码体制、可验证的秘密共享和密钥拆分技术,提出了一种容错的RSA数字签名方案。该方案具有结构简单、安全性强等特点。在该方案中,即使实施数字签名的服务器组中有部分服务器被人侵者成功控制或出现系统部件故障,系统用户仍可以获得正确的数字签名,并能够根据服务器组的工作状态自适应签名策略,从而提高了系统效率,降低了系统通信量,具有很强的安全性和灵活性。