一种实用的多数据库量子信息检索协议

针对目前量子私有信息检索不能适用与云存储的多数据库问题,基于现在成熟的量子密钥分发方法,提出了一种适合在多数据库环境下,实用的量子私有信息检索协议。对于不同大小的数据库,协议可通过调节参数θ和k,在保证数据库安全及用户隐私的情况下,完成信息的检索。性能分析结果表明,协议的通信复杂度低,检索成功率高、易于实施。     

SOQPSK-TG信号的简化状态解调器

针对部分响应成形偏移正交相移键控(SOQPSK-TG)信号的解调器复杂度较高的问题,在研究递归SOQPSK-TG信号的判决反馈简化解调器的基础上,对于非递归SOQPSK-TG信号提出了一种利用幸存路径的简化两状态解调器．该解调器在非递归SOQPSK-TG信号四状态网格的基础上,通过合理的状态合并,得到简化两状态网格;在接收机中采用该两状态网格作为状态转移网格对接收信号进行解调,在解调过程中由幸存路径法得到各支路的标准信号．仿真结果表明,在低信噪比区域,非递归SOQPSK-TG信号比递归SOQPSK-TG信号具有更优越的性能;与四状态解调算法相比,非递归SOQPSK-TG信号的简化两状态解调器有0.5～1.0dB的信噪比损失,但接收机具有较小的运算复杂度,有利于工程应用．     

具备强表达能力的选择密文安全高效属性基加密方案

属性基加密(attribute-based encryption, ABE)是一种新型公钥加密体制,它实现了对加密数据的细粒度访问控制.在密钥策略属性基加密方案(key-policy attribute-based encryption, KP-ABE)中,密文与属性集合相关联,密钥则与访问控制结构相关联.因此在大多数KP-ABE方案中,解密开销与解密算法所涉及的属性数目成正比.结合Hohenberger和Waters提出的快速解密属性基加密方案的思想,构造了一个同时支持非单调访问结构、大属性空间的选择属性集合和选择明文安全快速解密密钥策略属性基加密方案,并在随机预言机模型下证明是选择性属性集合和选择明文安全的;并在此基础上,利用Lai等人提出的合数阶上具有强表达能力的快速解密KP-ABE方案的思想,再结合用于给出构造选择密文安全的KP-ABE方案的变色龙Hash技术,构造了一个同样支持非单调的访问控制结构且表达能力丰富的选择密文安全快速解密KP-ABE方案.比较相关方案,所提出的2个方案都具备相当的解密效率.     

具有快速撤销功能的代理签名方案

针对很多代理签名方案没有解决的代理撤销问题,基于双线性对,提出了一个新的代理签名方案．新方案利用(2, 2)门限思想,引入一个安全中介SEM,其作用是：(1)帮助合法的代理签名人生成有效的代理签名;(2)监督代理签名人是否按照授权证书的规定签名;(3)检查代理签名人的签名权利是否被撤销．新方案不仅满足代理签名的所有安全要求,而且代理签名人只有与SEM合作才能生成有效的签名,使得方案具有快速撤销的功能．     

基于椭圆曲线的可验证门限签名方案

提出一种基于椭圆曲线的(t,n)可验证门限签名方案.其安全性不但依赖于椭圆曲线离散对数的分解难度,而且依赖于椭圆曲线的选取和体制.经分析得知该方案的通信复杂度远远小于Kazuo等人的方案,在抵抗选择明文攻击方面同Nyberg Ruepple签名方案一样安全.     

多用户MIMO系统上行检测算法

针对多用户MIMO上行传输系统提出了两种新型的多用户检测算法．利用块对角化技术将多用户MIMO系统并行或者串行地分解为多个单用户MIMO系统,从而使得适用于单用户MIMO系统的算法可以直接应用,极大地降低了系统的复杂度．仿真结果表明,该算法能够达到与相应单用户MIMO系统相同的性能,而与传统的迫零算法相比,性能有很大的提高．此外,理论分析与实验结果表明,串行多用户检测算法性能优于并行多用户检测算法．     

一种可提高安全通信距离的诱骗态量子密钥分发方案

为提高量子通信安全通信距离,提出一种将修正的相干光(MCS)用于诱骗态量子密钥分发的方案．通过削除弱相干光源中的两光子脉冲,降低多光子脉冲的影响,从而提高安全通信距离．理论分析得到了采用MCS后的单光子计数率和误码率的数学表达式．仿真结果表明,在相同的密钥产生率下,此方案将量子通信的安全通信距离提高约10％,接近完美诱骗态方案的安全通信距离．     

一种分布式自治信任计算模型

为了解决对等网络中节点信任值的计算问题,在综合利用直接经验和第三方推荐的基础之上,提出一种信任值的自治计算模型,其中的推荐信任合成权重取决于接收推荐者对推荐者的信任程度,推荐信任值和直接信任值都随着时间间隔的增加而递减．最后给出了所需数据结构和对应的信任值迭代更新计算方法．     

进位保留加法器的命题投影时序逻辑组合验证

为保证硬件设计的正确性,提出了对硬件设计组合验证的新方法．该方法在命题投影时序逻辑的统一框架下,实现对硬件系统行为的建模,对所期望性质的形式化描述,并利用命题投影时序逻辑合理且完备的公理系统对系统性质进行验证,从而证明硬件系统满足期望的性质,保证设计的正确性．进位保留加法器的验证实例说明了该方法的可行性．     

基于Delaunay三角形网格的彩色视频帧内编码方法

利用DT(Delaunay Triangulation)网格研究了彩色视频亮度和色度分量之间的相关性,提出了一种基于DT网格的彩色视频帧内编码方案．该方案仅对亮度分量Y进行DT描述,利用亮度分量Y的部分网格节点经过相似变换生成色度分量Cb或Cr的DT网格,从而节约了编码时间．实验结果表明,与对3个分量分别进行DT描述及编码的方法相比,节约了约30％的编码时间,并保持了好的解码图像,仍然比H. 263帧内编码和MPEG-4的静态纹理编码方法提供的主观质量好．