本文提出并分析了掌握密码分析与安全性证明的理论与方法是密码学研究生培养的一个关键点。
作者:吕桦; 廖耀发 期刊:《原子与分子物理学报》 2004年第B04期
利用量子纠缠的非局域性,结合量子纠缠的纯化,以及量子中继器的思想,结合Bell态的测量,我们论证了长距离量子保密通讯可行性。利用保真度与熵的关系,我们给出了量子保密通讯安全性的一般证明。同时,我们指出在‘joint attack’情况下使用‘completely positivemap’作为安全性证明的困难所在。
作为目前量子物理区域研究的重点及热点,量子通信已然受到人们的极大关注。量子通信是一种新兴的通信方式,它是利用量子之间的相互影响效应进行信息传递的。作为目前广泛关海珠的新兴研究领域,如何保证量子保密通信的安全性,将其应用到实际生活中,成为目前主要研究的问题。本文在阐述量子通信原理的基础上,叙述了量子密码术在量子保密通讯方面的重要作用,通过分析量子保密安全协议,简要介绍量子因特网的构成,并对其将来的应用及发...
本文简要介绍了保密通信系统安全性的基本概念、量子密钥分配协议以及量子密钥分配系统的实际安全性。探讨了量子密钥分配系统实际应用中主要存在的器件不完美性对系统安全性造成的影响,分析了诱骗态协议、测量无关量子密钥分配协议的应用及其局限性。最后,展望量子保密通信的未来。
作者:胡振宇; 李志华; 陈超群 期刊:《计算机应用》 2016年第06期
针对现有用户间社会关系身份认证方案存在用户信任度计算不合理、身份票据缺少认证权重、认证阈值无法随着用户间熟悉程度改变而改变的问题,提出了一种云计算环境下基于用户社会关系的移动终端认证方案。该方案从通信产生的信任度与属性产生的信任度两个方面综合计算用户间的信任度,并根据用户间的熟悉程度为身份票据设置动态权重和动态认证阈值,最后改进了身份票据的生成、认证过程。实验结果表明,所提方案改进了已有的用户间社会...
提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方案不但证明粒度细和扩展性强,而且属性证书的颁发、验证和撤销实现简单;本方案以组件承诺的方法保证属性证明的真实性,采用零知识证明实现平台组件的隐私性.基于强RsA假设,在RandomOracle模型下可被证明是安全的.实现的原型系统实验结果表明,组件属...
作者:王晓峰 张璟 王尚平 期刊:《计算机学报》 2008年第01期
基于因数分解和二次剩余困难性假设,构造了一个新的按序多重数字签名方案和广播多重数字签名方案.新方案的特点是:多重签名不是由签名成员所生成的多个单签名的累加,而是每个签名成员生成部分签名,以合作的方式生成多重签名;部分签名的长度固定,不随签名人数的改变而变化;部分签名算法和验证算法的复杂度与签名人数的多少无关;新的按序多重签名方案的签名成员不能擅自改变签名顺序.新方案抗现存的对多重签名方案的几种攻...
作者:肖俊芳 廖剑 曾贵华 期刊:《通信学报》 2012年第03期
针对节点的能量损耗、通信带宽、存储空间等有严格限制的无线传感器网络环境,基于双线性配对,本文提出门限签名方案。在假设计算Diffie-Hellman问题困难的前提下,利用规约到矛盾的方法给出在随机预言机模型下的严格安全性证明。此外所提的方案具备群合作条件下应有的顽健性,可以进行多签,满足分布式并行计算等特点,非常适应于无线传感器网络。
作者:张妤 黄周晶 期刊:《计算机工程与设计》 2012年第03期
在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法。研究了UC模型的构建原理,分析了UC安全性本质要求,指出了符合UC安全性本质要求的模拟器存在条件以及模拟内容,在此基础上,阐述了构造模拟器的方法,并给出了该方法的正确性分析。为正确使用UC模型进行密码协议的UC安全性证明提供了切实可行的方...
作者:辛伟 郭涛 董国伟 王欣 邵帅 期刊:《清华大学学报·自然科学版》 2013年第12期
为了对无线射频识别(RFID)认证协议中存在的漏洞进行分类和分析,首先对RFID系统的存在的威胁模型进行了深入分析,对RFID系统中面临的主要安全威胁进行了总结;由于目前对RFID认证协议漏洞缺乏统一的分类标准,该文对RFID认证协议中存在的漏洞进行了详细分类,对每一种类型的漏洞的产生原理进行了剖析,并提出了修补漏洞的方法;最后,对RFID认证协议中存在漏洞的安全性证明进行了讨论,并采用OSK协议进行了范例分析。结论表明RFID认证协...
作者:李双 徐茂智 期刊:《计算机学报》 2014年第05期
2004年,Boneh等人利用匿名的基于身份的加密方案构造了一个公钥可搜索加密方案(PEKS),解决了特定环境下对加密数据进行检索的这一困难问题。已有的可搜索加密方案,通信模式往往是一对一的,关键词密文也只能被特定的单个用户查询或解密,这样的通讯模式在实际的系统中有很多局限性。作者首次给出了基于属性的可搜索方案(ATT-PEKS)的定义和构造算法。此方案与PEKS的不同之处在于基于属性的可搜索方案是适应群组的公钥加密搜...
作者:慈云飞 李凤华 史国振 谢绒娜 期刊:《北京电子科技学院学报》 2015年第02期
为了解决基于身份的认证加密方案中用户私钥共享的问题,本文在BF—IBE体制的基础上,结合门限秘密共享方案,提出两个新的改进方案,并与原体制在性能上进行了对比分析,分析表明改进方案的计算成本和通信成本都与原体制相当,但是用户的私钥共享更加安全,最后还对改进体制进行了安全性证明。