摘要：论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用,内容主要包括:什么是可证明安全性,可证明安全性理论涉及到的一些基本概念,RO(randomoracle)模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展,标准模型下可证明安全性理论在公钥加密和数字签名等方案中的应用研究进展,以及可证明安全性理论在会话密钥分配协议的设计与分析中的应用研究进展.

摘要：分别征服相关攻击是一类重要的序列密码分析方法,是设计序列密码时必须要防御的分析方法之一。抵抗分别征服相关攻击常用的防御策略是使得序列密码中所采用的密码函数具有一定的相关免疫阶,将这类密码函数称为相关免疫函数。相关免疫布尔函数的沃尔什频谱特征刻画是构造和分析这类函数的理论基础,最早由肖国镇(***)教授和梅西(***)教授提出,国际上称之为Xiao-Massey定理。Xiao-Massey定理的提出为序列密码研究开辟了一个新的研究方向。主要回顾了Xiao-Massey定理,简述了Xiao-Massey定理的意义,阐释了Xiao-Massey定理的作用。

摘要：比特承诺是重要的密码学元素,在复杂密码协议设计(如:零知识证明)中扮演着重要角色·Mayers,Lo和Chau分别独立证明了所有无条件安全的量子比特承诺方案都是不安全的,即著名的Mayers-Lo-Chau不可行定理·但这并不排除存在计算安全的量子比特承诺·2000年,Dumais等人给出了一个基于计算假设的量子单向置换可以用于构造计算安全的比特承诺方案·利用纠错码的方法,把量子比特承诺扩展成量子多比特承诺方案,并证明了所给方案的隐蔽性质和约束性质·以比特承诺方案为基础,给出了量子数字签名和量子加密认证方案的设计方法,并给出了协议的安全性证明·

摘要：对可用于密码体制设计的NP完全问题———背包问题 ,进行了量子算法分析 .从复杂度理论角度出发 ,讨论了如何用量子搜索算法加速背包问题等NP完全问题的求解 .并从群论的角度与Shor的大数分解算法做了比较 ,讨论了影响算法速度一些因素 .

摘要：针对云存储中敏感数据的机密性保护问题,在基于属性的加密基础上提出了一种密文访问控制方法HCRE。其思想是设计一种基于秘密共享方案的算法,将访问控制策略变更导致的重加密过程转移到云端执行,从而降低权限管理的复杂度,实现高效的动态密文访问控制。实验分析表明HCRE显著降低了权限管理的时间代价,而且没有向云端泄露额外的信息,保持了数据机密性。

摘要：分布式乘法计算是安全多方计算中的重要部分,也是设计门限密码体制的基本协议.应用可验证秘密共享的方法,设计了两种不同情况下的整数环上多项相乘的鲁棒分布式乘法计算方案.其中并行不交互的鲁棒多项相乘的分布式乘法计算方案效率较高,且保持了不交互特性,而另一种方案却能达到最优弹性.

摘要：通过对目前PC体系结构中系统引导过程的分析,提出了用DOC代替附加引导设备的设计方法,介绍了如何将DOC闪存设计为引导设备,并给出具体设计实例。最后对系统性能进行分析。试验证明,该设计可通过减少系统引导时间对系统性能进行优化。

摘要：回顾了已有的各种RFID安全机制,重点介绍基于密码技术的RFID安全协议;分析了这些协议的缺陷;讨论了基于可证明安全性理论来设计和分析RFID安全协议的模型和方法.

摘要：基于离散傅里叶变换提出了一种通用的门限密码学中恢复分享秘密的算法.该算法是离散傅里叶变换在门限密码学中的首次应用.利用该算法,门限密码体制可以有效地达到鲁棒性和自适应安全性.同时,引入了设计有效的鲁棒自适应安全的门限密码体制的新的通用技术.

摘要：目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。