加密数据计算的研究

加密数据计算可以简单地理解为A借助B的计算资源和能力来完成自己的任务,但是B不知道计算的真实内容(B只是在"盲计算"),即要满足A的数据的保密性要求和任务完成要求.通过对各种加密数据计算方案进行分类研究,归纳总结了加密数据计算的研究现状,重点分析了当前几种重要的加密数据计算方案及其安全性证明和主要应用,解决了加密数据计算方案众多、分类混乱且安全分析少的问题.     

基于身份无可信中心的数字签名方案

针对目前基于身份无可信中心数字签名方案效率较低的问题,提出了一个新的基于身份无可信中心的数字签名方案,并在随机预言模型下证明该方案能抵抗适应性选择消息和身份的存在性伪造攻击.该方案与其它基于身份无可信中心签名方案相比,具有更高的效率.     

有噪声的BB84量子密码协议的改进

把量子力学应用到密码学中产生了一个新的学科———量子密码学。量子密码提供的密钥交换方式,能够自动检查是否有人在窃听,这是公钥体制所不具备的。该文对有噪声的BB84协议作了一些改进,以增强安全性、提高效率。这种改进方案对其它带有噪声的量子密码协议同样适用。     

一个安全有效的多重数字签名方案

文章基于离散对数问题提出一个多重数字签名方案,其安全性类似于ElGamal签名体制,因而较为肯定,其验证计算量与参与签名的人数无关,保证了有效性。     

物联网环境下UC安全的组证明RFID协议

物联网的安全和隐私保护问题是制约其进一步发展的关键性问题,如何设计一个安全、高效的组证明RFID协议是物联网安全需要重点研究的一个问题.首先,文中对物联网环境下组证明RFID协议的交互模型和攻击模型做了分析和描述.然后,在通用可组合安全框架下,形式化定义了理想功能FvS和RFID组证明理想功能FGP.最后,在Fvs-混...     

基于ACJT方案构造高效多群签名方案

多群签名方案是对普通群签名方案的一种推广。如何构造安全、高效的多群签名到目前为止还是一个未解决的问题。该文对G.Ateniese和G.Tsudik提出的多群签名方案进行了改进,且构造过程无需借助基于两个双重离散对数相等的知识签名。通过较为充分的安全性分析及执行效率的比较,可以看出新方案具有更好的安全性、有效性和实用性。最后还提出了一个安全、高效的子群签名方案,其效率较G.Ateniese和G.Tsudik提出的子群签名方案也有显著提高。     

PKI网络安全平台的研制与开发

本文介绍山东省计委专项开发项目“ＰＫＩ网络安全平台的研制与开发”,并以此为线索讨论了ＰＫＩ中的一些关键概念。     

基于大型动态多播群组的分层虚拟动态子群密钥管理方案

在互联网高速发展的今天,密钥管理越来越被人们重视,对组通信密钥方面的研究早已开始,而现实中密钥子群的研究成果较少.分层虚拟动态子群密钥管理方案是对大型动态多播群组提出了一种分别基于子组和子组成员两个层次建立一级虚拟动态子组子群和二级虚拟动态成员子群的方法,解决了大型群组子群建立效率低下的问题.     

基于无证书的两方认证密钥协商协议

两方认证密钥协商协议的设计主要基于传统公钥密码体制和基于身份的公钥密码体制.基于无证书的认证密钥协商方案避免了基于传统公钥证书方案存在的身份管理复杂性,同时也消除了基于身份方案中所固有的密钥托管问题.Park等人在2007年提出了选择身份安全模型下抗选择明文攻击(IND-sID-CPA)的无证书加密方案,在该方案的启发下提出了基于无证书体制的两方认证密钥协商方案,并与其他方案进行了安全性和有效性比较.该方案满足目前已知的绝大多数安全属性要求,特别是完美前向安全性,PKG前向安全性,已知会话相关临时秘密信息安全性以及无密钥托管等安全特性,同时保持了良好的计算效率.     

可三方使用的电子现金*

提出了可三方使用的电子现金方案,使用该方案,用户U在某地提取电子现金时,Alice和Bob也可以在异地通过开放网路下载并且使用这些电子现金,用户U也可使用.