公共文化服务平台

搜索到471篇“ 通用可组合“的相关文章

一种通用可组合安全的非交互式承诺方案: 2024年; 承诺方案是密码学中最基本的组件之一,是许多密码协议的基础,如零知识证明和安全多方计算协议。通用可组合安全在设计安全协议中具有重要意义,如果一种协议在通用可组合框架中可证明安全,那么即使该协议与任意(甚至不安全的)协议并发运行,它仍然保持安全性。现有的几种高效的通用可组合安全的承诺方案都是交互式协议,而非交互式的通用可组合承诺方案具有较高的协议计算量和通信复杂度。针对于此,本文在公共参考串模型下,提出一种高效的通用可组合安全的非交互式承诺方案。通用可组合承诺方案的关键设计思想在于同时实现可提取性和模棱两可性。在承诺阶段使用一种选择密文安全加密方案实现可提取性,在承诺打开阶段使用一种非交互式零知识证明,并利用一种双模式承诺方案保持协议的模棱两可性。该方案将承诺打开阶段的多轮通信改进为一轮,实现了非交互性。与现有的非交互式承诺方案相比,大大减少了计算量和通信量,提高了协议的效率。; 蔡泗沐王立斌; 关键词：通用可组合安全非交互式

云网端架构下通用可组合安全的可信网络连接方法: 本发明公开了一种云网端架构下通用可组合安全的可信连接方法，主要解决现有可信网络连接中用户与平台无法绑定认证，且无法跨网提供可扩展及可持续性连接认证的问题。其实现方案为：两个终端分别在云端完成身份注册与平台注册；两个终端的...; 张俊伟周立元马建峰卢笛马卓李兴华李腾马鑫迪

分布式众包的通用可组合安全模型与协议设计: 众包指的是公开征集解决方案的分布式问题解决模型,即通过招募互联网上未知工作者去处理比较难以单独解决的问题,其应用领域十分广泛,但却存在很多问题。比如,现存在的众包方案大多都依赖第三方众包平台,这种管理模式会存在隐私泄露、...; 杨彤; 关键词：UC安全众包分布式区块链

无证书签密的通用可组合机制被引量：1: 2021年; 在通用可组合框架(UC framework)下研究无证书的签密协议。针对无证书签密协议(CLSC)的安全性不满足通用可组合性,根据无证书签密协议的安全需求,构建安全模型即理想函数。在F-混合模型下构造无证书签密协议,证明该协议安全实现理想函数的条件是满足在适应性选择密文攻击下的不可区分性(IND-CCA2)。基于离散对数问题实现一个具体的签密协议实例,验证了模型的有效性。; 王琳杰田有亮; 关键词：通用可组合无证书签密

通用可组合框架下的公平理性委托计算: 2021年; 为实现理性委托计算中的经济与信誉公平性,基于密码学的区块链模型提出了通用可组合(UC)框架下的公平理性委托计算方案。首先,结合直接信誉和间接信誉构建关于委托方与计算方的双向信誉激励模型。其次,基于博弈论构建具有完美信息的理性委托计算动态博弈模型,分析得到唯一子博弈纳什均衡。再次,根据理性委托计算场景中的可验证性安全需求、参与者理性决策需求、经济与信誉公平需求以及敌手模型,基于通用可组合理论提出公平理性委托计算理想函数。最后,结合简洁承诺证明和智能合约提出了可安全实现理想函数的公平理性委托计算协议。协议分析证明,所提协议满足UC安全性。; 田有亮蒋小霞

多因子通用可组合认证及服务授权方法、通信服务系统: 本发明属于通信网络安全技术领域，公开了一种多因子通用可组合认证及服务授权方法、通信服务系统；包括：认证初始化阶段；注册阶段；认证接入阶段；生物特征及智能卡认证过程；口令字及智能卡认证过程；会话密钥协商阶段；服务授权阶段。...; 曹进罗玙榕李晖赵兴文; 文献传递

基于理想格的通用可组合两方口令认证密钥交换协议被引量：1: 2021年; 大部分现有基于格的两方口令认证密钥交换协议(2PAKE)都是在基于不可区分的公共参考串模型或Bellare-Pointcheval-Rogaway(BBR)模型下被证明安全的。该文提出一个基于环上带误差学习问题的两方口令认证密钥交换协议,并在通用可组合框架下证明其安全性。与同类协议相比,新协议具有更高的安全性和更高的效率。; 舒琴王圣宝路凡义韩立东谭肖; 关键词：口令认证

多因子通用可组合认证及服务授权方法、通信服务系统: 本发明属于通信网络安全技术领域，公开了一种多因子通用可组合认证及服务授权方法、通信服务系统；包括：认证初始化阶段；注册阶段；认证接入阶段；生物特征及智能卡认证过程；口令字及智能卡认证过程；会话密钥协商阶段；服务授权阶段。...; 曹进罗玙瑢李晖赵兴文; 文献传递

通用可组合的网关口令认证密钥交换协议被引量：1: 2017年; 网关口令认证密钥交换(GPAKE)协议是一类特殊的三方协议,其中客户和认证服务器共享有低熵口令,客户和网关在服务器的协助下生成高熵的会话密钥.由于通信架构更贴近实际,GPAKE协议研究近年来受到了较多的关注.然而,已有GPAKE协议都是在传统"孤立"的安全模型中进行分析和设计的,没有考虑协议的可组合安全,也没有考虑用户将相关口令用于不同协议时的影响.为了保证GPAKE协议在更接近实际应用的复杂环境下的安全性,该文在通用可组合(UC)框架下研究GPAKE协议的安全性定义,给出了GPAKE的理想功能,对会话密钥安全、防止恶意网关猜测客户口令以及保持会话密钥相对于服务器的私密性等安全目标进行了刻画,保证了协议在复杂应用环境中的可组合安全性,还考虑了用户将服从任意分布的、甚至是与其他协议相关的口令用于GPAKE协议的情况.另外,利用UC安全两方PAKE协议、消息认证码为组件,给出了GPAKE协议的一个通用构造,使其能够被实例化得到多个具体的协议,并证明了该通用构造是UC安全的,即能够UC安全实现GPAKE理想功能.; 胡学先张启慧张振峰刘凤梅; 关键词：可证明安全通用可组合口令认证密钥交换网关协议

密码服务API通用可组合框架: 2017年; 密码服务API是各类信息系统获取密码服务的入口,为信息系统的密钥协商、信息加密和身份认证等提供密码算法的调用与处理,当前攻击者针对API设计缺陷或漏洞,绕过系统安全策略或者非正常调用密码处理过程,从而达到欺骗密码服务系统,获取密码系统内部的密码资源或秘密信息.本文通过研究密码服务API功能函数组合应用的安全性证明问题,提出了密码服务API的通用可组合框架,旨在通过形式化分析方法对密码服务API的安全性进行验证.在通用可组合安全框架下,添加了支持密码服务API全局状态的记录、读取和操作,提出了密码服务API通用可组合安全框架.对理想模型下、现实模型下和混合模型下的密码服务API执行过程进行了形式化描述,通过基础定理的证明验证了在API通用可组合框架下,以API基础功能为基础,验证复杂API安全性是可行的.; 徐开勇袁庆军谭磊陆思奇

相关作者