安全性证明相关论文
群密钥协商协议允许一组用户在不安全的公共信道上生成共享的会话密钥,在密码学中一直是一个非常重要的研究方向。而在动态群密钥......
围绕可证明安全公钥密码方案的设计与分析这一主题，本报告主要包括以下几个方面的内容:
1.在一般签名方案基础上提出指定条件......
随着互联网技术的爆炸式发展,在线交易渐渐成为日常生活中越来越受重视的商品交换方式。确保参与者之间交易的公平性是保证电子支......
随着信息技术的迅速发展,信息安全已经成为一个重要课题。保护公开信道上传输的信息不受攻击要借助信息安全的核心技术—密码学技......
随着第三次科技革命的兴起，网络时代来临，以互联网为代表的新兴媒体正在逐步代替收音机、报纸、电视等传统媒体；手机、电脑等通讯工具......
随着网络科技的推动,经济全球化的深度变革,互联网空间竞争越来越尖锐复杂。同时,随着移动互联网、物联网、云计算等以大数据模式......
门限签名是一种特殊的数字签名，它在现实生活中具有广泛的用途。一个(t,n)门限签名方案是指n个成员组成的群中，群中任何不少于t个成......
量子通信就是用量子纠缠效应进行信息传递的新型通信方式,鉴于此,本文首先对量子通信的概念进行介绍,然后对量子通信实用化现状及......
利用分叉引理对签名体制进行证明,是进行签名体制安全性证明的一种重要方法。Pointcheval和Stern首次给出了签名体制安全性证明的......
椭圆曲线数字签名算法(ECDSA)是区块链密码学技术中常见的数字签名之一,其在加密货币、密钥身份认证等方面已被广泛应用。然而当前......
2004年，Boneh等利用匿名的基于身份加密方案构造了一个公钥可搜索加密方案（PEKS），解决了特定环境下对加密数据进行检索的这一困难工作......
针对撤销成员的群签名中如何降低群成员的计算量、缩短签名长度等问题,提出了一种新型的撤销成员的无加密短群签名方案,并证明了其......
将马尔可夫链作为模型,解决了SPN型分组密码差分分析中差分扩散率的计算问题和RSA-OAEP体制IND-CCA安全性证明中仿真程序错误概率......
在UC模型（通用可组合安全分析模型）中密码协议安全性证明的难点是模拟器的构造，而目前模拟器的构造没有通用有效的方法可循，针对这一问......
证明了在分解整数困难的前提下，2^m次根方案在同步攻击下是安全的．...
利用ECDSA和Schnorr签名的理念,提出了无需双线性对的无证书签名新方案,在ECDLP和随机预言机模型下,证明了新方案的安全性。把新方......
不断探索量子密钥分配方案的优化方法,设计高效率的量子密钥分配协议并从理论上充分证明协议的安全性,对建立完备的量子保密通信理......
针对当前用电信息系统多业务并行处理能力需求,提出了一种面向对象的用电信息系统安全通信协议(OSCP)。OSCP协议采用传输层和应用......
为了解决基于身份的认证加密方案中用户私钥共享的问题，本文在BF—IBE体制的基础上，结合门限秘密共享方案，提出两个新的改进方案，并与......
为减少属性基加密算法占用的资源,在安全数据访问控制的属性基加密算法的基础上提出了一种改进的属性基外包加密算法。改进算法将......
为了提升可搜索公钥加密方案中服务器端关键字的搜索效率,提出了基于拉格朗日多项式的互逆映射构造方法和支持多关键字的可搜索加......
针对多数口令密钥协商（PAKE）协议不具备双向认证功能的问题，基于通用可组合（UC）模型，提出一种UC安全的双向口令认证密钥协商（MPAKE）协议。......
离散对数问题因其计算复杂、结构灵活多变为密码体制的设计提供了良好的安全性基础。用目前已知的最好的算法求解n阶乘法群中的离......
公钥密码体制自Diffle和Hellman提出以来,广泛应用在加密、签名、密钥协商等密码学的理论研究和实际应用中,随之而来的公钥密码体......
身份认证是确保网络与信息系统安全的第一道防线,口令则是最普遍的身份认证方式。现有研究通常假设用户构造的口令服从均匀分布,然......
天基物联网利用卫星系统全球覆盖、广域联通的特性,将有效弥补现有互联网和移动通信网络覆盖能力的不足,实现全球范围内万事万物的......
该文利用协议合成逻辑(PCL),对WAPI密钥管理协议进行了模块化正确性证明。首先,分析了相对独立的单播密钥协商与组播密钥通告协议,......
基于Lin等人于2016年提出的不可区分混淆,提出了一个新的广播多重签名方案,其使用混淆后的验证电路作为验证密钥,对部分签名和多重......
基于因数分解和二次剩余困难性假设,构造了一个新的按序多重数字签名方案和广播多重数字签名方案.新方案的特点是:多重签名不是由......
针对BB84协议,简要介绍3类量子密码安全性证明方法,深入研究了基于纠缠提纯和基于量子CSS码的安全性证明方法。重点分析量子纠错码......
为了对无线射频识别(RFID)认证协议中存在的漏洞进行分类和分析,首先对RFID系统的存在的威胁模型进行了深入分析,对RFID系统中面临......
从1965年4月摩尔在《电子学》杂志上的一篇文章中提出摩尔定律的半个多世纪以来,半导体发展迅速。集成电路已经应用到各个领域,无......
全同态加密在安全多方计算、云计算等实际应用中有重要的价值。2009年Gentry构造出第一个全同态加密方案,基于该方案的构造思想,学......
多重签名是指多个签名方各自对同一个消息进行签名后合成一个多重签名的数字签名。在现实生活中,多重签名广泛适用于电子合同签署......
