无可信中心的电子投票方案*

给出一个无可信中心的电子投票方案,即使在管理机构和计票机构都不可信的情况下仍能够保证投票的安全性。该方案能够始终保证投票者的匿名性,即使选票公开,任何人都不能确定投票者的身份;解决了选票碰撞的问题,即不同的投票人必定产生不同的选票。     

一个可分的可关联门限环签名方案

在某些特殊应用中，如电子投票等系统要求可以确定两个或多个签名是否出自同一用户，具有可关联性的环签名方案可以实现这一功能。已有的可关联环签名方案只支持基于DL的公钥系统，该文基于离散对数和因数分解的难解性提出了一个可分的可关联门限环签名方案，可以同时支持基于DL和基于ID的公钥系统，参与方可以独立地选择公钥体制、系统参数及密钥，具有更广泛的实用性。     

一个基于ID的可删除群签名方案*

在第三方不可信任的情况下,传统的ID签名系统不适用于安全的群签名.给出一个安全的基于ID的群签名方案,即使在KGC不可信的情况下也能保证其安全性,而且该方案可以安全地增加或删除群成员而不需要改变其他有效群成员密钥和群公开密钥.同时,密钥长度及签名长度与群成员的多少无关.     

基于椭圆曲线的在线秘密分享

基于椭圆曲线提出一种在线秘密分享方案,该方案具有高效、安全等特点,可以抵抗系统中任意多的不诚实成员攻击。同时该方案是一种动态的秘密分享模式,可以增加新的成员参与,也可以删除已参加的成员,成员的子密钥无需改变,只要变更公告牌上的一些认证信息,系统就可任意次进行密钥在线秘密分享。     

密码模块安全性要求标准研究

密码模块是保护信息的核心部件,其自身安全也需要得到保证,这种安全性要求需要规范化。本文对如何制定好密码模块安全性要求标准从必须遵循的原则、内容、安全性等级划分、标准的开发方法等方面进行了研究。     

形式化方法和测试技术及其在安全中的应用

本文回顾和讨论了形式化方法和测试技术,以及形式规格说明可以用于测试用例生成、测试顺序确定的途径;并提出了将形式化方法和测试技术应用于安全保密设备。     

类似于bent性质的平衡函数的构造

ｂｅｎｔ函数有较好的密码学性质，但ｂｅｎｔ函数不是平衡函数，从实际应用角度来说，我们有必要构造具有类似于ｂｅｎｔ性质的平衡函数，本文对此做了一些研究。