基于安全双方计算的密钥协商方案

利用改进的安全双方计算协议，给出了一种认证信道上的密钥协商方案。即使窃听者获得了与接收方完全一样的数据。此方案也是计算安全的．文中讨论了在非认证信道上如何防止窃听者的主动攻击．     

简单证明一个承诺值在特定区间内

顾客想向销售商证明其银行帐户上的钱足以购买某种商品,但不愿意泄露她帐户上的钱,因此需要一个工具证明一个承诺数在特定的区间内.目前多数这样的协议要么不能实现完整的证明,要么效率较低.本文给出了一个新的协议,协议简单、易于理解.它能够实现完整的证明,其效率比已知的协议更高.该协议可以用于电子现金、群签名、可证实加密等安全协议设计.     

云存储完整性验证密码学技术研究进展

云存储完整性验证技术允许用户将数据存储至云端服务器,并为用户提供可验证的完整性保证。典型的云存储完整性验证方案由两个阶段组成：一是数据处理阶段,用户使用私钥处理数据、生成可验证的元数据存储于云服务器,而本地只需保存与数据相关的一些参数,如密钥和数据标签等;二是数据完整性验证阶段,验证者通过和云服务器交互执行一个挑战/证明协议,能够以极高的概率判断出云端数据当前的完整性。到目前为止,已经涌现了大量的相关密码学方案。本文对可证明安全的可公开验证的云存储完整性验证关键密码学技术研究进展进行简要回顾,主要涵盖代理数据外包技术、代理完整性验证技术、基于身份的数据外包技术以及几种计算和通信效率优化技术等。     

密钥协商协议进展

密钥协商协议允许两个或多个用户在公开网络中建立一个共享密钥,是最基本的密码原型和公钥密码学的基础.本文综述密钥协商协议的研究进展,包括密钥协商的安全模型、传统离散对数环境下的密钥协商协议、最近发展起来的基于双线性对的密钥协商协议以及基于口令的密钥协商协议,指出了密钥协商协议中的公开问题和未来可能的发展方向.     

多变量代数理论及其在密码学中的应用

介绍了有限域上二次多变量多项式方程组(MQ问题)求解理论的研究进展;描述了几种主要的MQ公钥密码算法及其相应的分析手段,并归纳出了MQ(multivariate quadratic)公钥密码系统设计所应遵循的基本准则;概括了MQ问题在其他密码学领域(如流密码)中的应用;对MQ密码的研究前景进行了展望,并归纳出了一系列值得研究的开放问题.