公共文化服务平台

搜索到1187篇“ 可证明安全“的相关文章

一种可证明安全的可公开验证多级多秘密共享方法及系统: 本发明提出了一种可证明安全的可公开验证多级多秘密共享方法及系统，涉及信息安全技术领域。根据可信的分发者选取的一个安全的Hash函数及所构造的单调张成方案，进行数据初始化；通过秘密份额秘密分发，参与者使用自己的私钥来解密公...; 宋云王宁宁李志慧李永明邵志毅张凯肖孟林

网络空间安全学科系列教材密码学中的可证明安全性第2版: 本书全面介绍可证明安全性的发展历史、基础理论和实用算法，内容分为6章，第1章介绍可证明安全性涉及的数学知识和基本工具，第2章介绍语义安全的公钥密码体制的定义，第3章介绍语义安全的公钥密码体制，第4章介绍基于身份的密码体制...; 杨波

严格可证明安全的两方协同SM2签名协议: 2024年; SM2签名算法自提出后得到了广泛的应用,其中电子合同是一个典型的应用场景.用户在使用电子合同服务签约时,由于单个用户抗攻击能力较弱,存在严重的私钥泄露风险,因此往往将私钥托管在服务商的云端服务器上.但是这又涉及对服务商的信任问题,甚至直接影响电子合同的合法性.为了解决这个两难问题,我们基于同态加密的思想提出了一种两方协同SM2签名协议,用户和服务商协同生成并保存各自的私钥分片,在使用时通过线上交互的方式合作生成签名,从而同时解决安全和信任问题.我们发现,现有的两方协同SM2签名协议的安全性都存在问题或者错误,就我们所知,本协议是第一个严格可证明安全的两方协同SM2签名协议.; 程一帆刘擎宇梁泽宇于昇; 关键词：可证明安全电子合同同态加密安全多方计算

可证明安全的SM2盲适配器签名方案: 2024年; 适配器签名是近年来出现的新密码学原语,其基本思想是将签名过程与秘密值的揭示联系起来,通过将预签名适配为正式签名,使最终的签名结果和常规签名一致。预签名与正式签名可提取出一个秘密值,因此具有原子性,在区块链中拥有良好的应用前景。但是适配器签名不具有匿名性,容易暴露交易参与者身份,在电子支付等隐私需求高的应用场景具有一定的局限性。为了解决这一问题,提出了新的盲适配器签名,系统模型和安全模型,在新系统模型的基础上提出了基于SM2签名算法的盲适配器签名方案,并基于SM2签名方案的不可伪造性和困难关系证明了该方案的安全性满足新提出的安全模型要求,即满足盲性、预签名可适配性、不可伪造性和证据可提取性。性能分析表明,在计算开销上,SM2盲适配器签名方案的总时间仅比SM2适配器签名方案增加了5.91 ms,与现有同类方案相比,该方案盲性更强且具有自主可控性,对于隐私要求高且需要采用国产密码算法的关键应用场景具有良好的应用价值。; 胡小明陈海婵; 关键词：原子性匿名性

基于共享前缀和最小熵耦合的高效可证明安全隐写方法: 本发明公开了一种基于共享前缀和最小熵耦合的高效可证明安全隐写方法，是基于共享前缀的编码方法，在不修改由生成模型预测的概率分布的前提下，使用最小熵耦合方法来优化分布排序，使每一时间步选择的标记对应的概率区间有尽可能长的共享...; 王垚飞潘超胡东辉

可证明安全的基于SGX的公钥认证可搜索加密方案被引量：1: 2023年; 公钥可搜索加密(public key encryption with keyword search,PEKS)技术使用户能够搜索存储在不可信云服务器上的加密数据,这对于数据隐私保护具有重要意义,也因此受到了广泛关注.公钥认证可搜索加密要求数据发送方使用接收方的公钥对关键词进行加密,同时还使用其自身私钥对关键词进行认证,使得敌手无法构造关键词密文,从而抵抗公钥可搜索加密面临的关键词猜测攻击(keyword guessing attack,KGA).提出了一个可证明安全的基于软件防护扩展(software guard extensions,SGX)的公钥认证可搜索加密(public key authenticated encryption with keyword search,PAEKS)方案,通过在云服务器上建立一个可信区并运行一个执行关键词匹配的飞地程序来完成对密文数据的搜索.正式的安全性证明显示方案具备密文不可区分性和陷门不可区分性,即可抵抗关键词猜测攻击.进一步地,给出搜索模式隐私性的定义,确保敌手无法仅通过陷门来判断2次搜索是否针对同一关键词,从而避免向外部敌手泄露部分隐私.此外,所提方案具有易扩展的优势,很容易被扩展为支持复杂搜索功能或者具备其他增强隐私保护性质的方案,如前向安全.作为示例,给出了多关键词搜索、搜索能力分享这2个功能扩展方案以及具备前向安全性的扩展方案的简单介绍.真实环境中的实验表明,与其他对比方案相比,所提方案在效率上同样具有出色的表现.; 刘永志秦桂云刘蓬涛胡程瑜郭山清; 关键词：可证明安全可扩展性

移动边缘计算环境下可证明安全的认证密钥协商协议研究: 由于物联网设备的资源受限,它们的计算任务经常需要卸载到边缘计算服务器上进行处理。然而,网络中存在着敌手攻击和服务器作恶等多种安全风险,而且数据信息传输经常使用不安全的公共信道,它们严重威胁着终端设备用户的隐私和数据的安全...; 杨靖华; 关键词：可证明安全性

可证明安全的后量子两方口令认证密钥协商协议被引量：2: 2023年; 口令认证密钥协商可以在客户机和服务器之间建立安全的远程通信,且可以将一个低熵口令放大为一个高熵的会话密钥。然而,随着量子计算技术的快速发展,基于大数分解和离散对数等经典数学难题的PAKA协议面临着严峻的安全挑战。因此,为了构建一个高效安全的后量子PAKA协议,依据改进的Bellare-Pointcheval-Rogaway(BPR)模型,提出了一个基于格的匿名两方PAKA协议,并且使用给出严格的形式化安全证明。性能分析结果表明,该方案与相关的PAKA协议相比,在安全性和执行效率等方面有一定优势,更适用于资源受限的物联网(Internet of Things, IoT)智能移动设备。; 倪亮张亚伟王念平周恒昇刘笑颜谷兵珂; 关键词：可证明安全

格上可证明安全的口令认证密钥交换协议研究: 随着5G、云计算、大数据等的飞速发展,人类社会生产和生活活动的各个领域都需要依赖互联网实现。由于互联网的开放性和匿名性,依赖互联网公开信道传播的信息面临一系列安全问题。密码方案是保护互联网公开信道的通信安全最直接有效的手...; 宋云帆; 关键词：口令认证密钥交换可证明安全

代换--置换网络类型分组密码结构的可证明安全研究: 分组密码在数据加密、消息认证、密钥管理等方面中有着广泛应用。因此,其安全性分析一直是密码学领域核心议题之一。对于其有关结构的可证明安全结论可在一定程度上合理的假设的基础上，排除所有满足假设的攻击。　　(广义)Feiste...; 高源; 关键词：分组密码可证明安全杂凑函数

加载更多 ∨

相关作者

用户反馈

相关作者

用户登录

用户反馈