期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
一个基于OT协议的电子选举方案 被引量:3
1
作者 郭栋梁 秦静 李鹏程 《计算机应用》 CSCD 北大核心 2008年第5期1335-1337,共3页
将OT协议应用于电子选举中,提出一个新的电子选举方案。该方案能较好地解决电子选举对多选性的要求,同时满足安全电子选举方案的基本特性,且效率较高,可适用于较大规模的选举,进一步改进和完善了现有的电子选举方案。
关键词 ot协议 电子选举方案 多选性
下载PDF
哈希证明系统及应用研究
2
作者 赵秀凤 《计算机科学》 CSCD 北大核心 2012年第B06期18-23,共6页
哈希证明系统在2002年欧密会上由Cramer和Shoup首次提出。哈希证明系统的概念自提出以来得到广泛研究,目前已有多个修改版本。"投影性"和"平滑性"是哈希证明系统的两个重要特性,正是由于这两个特性使得哈希证明系... 哈希证明系统在2002年欧密会上由Cramer和Shoup首次提出。哈希证明系统的概念自提出以来得到广泛研究,目前已有多个修改版本。"投影性"和"平滑性"是哈希证明系统的两个重要特性,正是由于这两个特性使得哈希证明系统除了用于设计CCA安全的公钥加密体制之外,还广泛应用于各种安全协议设计,比如:基于口令认证的密钥交换协议、不经意传输协议、可否认的认证协议、零知识证明协议和承诺协议等。介绍了哈希证明系统及其变形的各种定义,分析了定义之间的派生关系和安全级别关系,并讨论了哈希证明系统在密码学中的应用。 展开更多
关键词 哈希证明系统 子集成员问题 CCA安全 密钥交换 ot协议 可否认认证 零知识证明 承诺协议
下载PDF
IT/OT融合的全方位理解和实现途径 被引量:6
3
作者 彭瑜 《自动化仪表》 CAS 2022年第4期1-5,9,共6页
将对IT/OT融合的关注限定在生产制造的范围可能过于狭窄。应该将其扩展到供应链以及客户需求和响应的上下游,形成一种涵盖供应链和产品生命周期的实时、同步、优化的闭环生态系统。作为工业通信基础架构的信息技术(IT)/操作技术(OT)融合... 将对IT/OT融合的关注限定在生产制造的范围可能过于狭窄。应该将其扩展到供应链以及客户需求和响应的上下游,形成一种涵盖供应链和产品生命周期的实时、同步、优化的闭环生态系统。作为工业通信基础架构的信息技术(IT)/操作技术(OT)融合,当务之急是OT网络需要改变多种现场总线和工业以太网并存的局面,采用基于互联网协议(IP)的以太网标准,为与IT网络的融合创造前提。 展开更多
关键词 工业数字化转型 信息技术/操作技术融合 智能制造的生态系统 数字制造架构 基于互联网协议的以太网 实时闭环运营环境
下载PDF
适用于智能环境的高效安全云辅助模式匹配协议 被引量:2
4
作者 魏晓超 徐琳 +1 位作者 郑志华 王皓 《计算机研究与发展》 EI CSCD 北大核心 2019年第11期2365-2374,共10页
以机器学习、人工智能、物联网等技术所构建的智能环境正在改变人们的生活、工作及思维方式.智能环境下数据存储和处理的方式也在不断改变,其中安全和效率是2个重要的因素.就安全而言,在数据共享的前提下保护隐私势在必行.就效率而言,... 以机器学习、人工智能、物联网等技术所构建的智能环境正在改变人们的生活、工作及思维方式.智能环境下数据存储和处理的方式也在不断改变,其中安全和效率是2个重要的因素.就安全而言,在数据共享的前提下保护隐私势在必行.就效率而言,智能环境中存在诸多资源受限的设备,针对这些设备如何设计高效的算法或协议直接决定其可行性.从以上2个需求出发,研究适用于智能环境中的安全高效模式匹配问题.传统的安全模式匹配协议中模式持有方需要执行大量的公钥操作,因此不适用于手机等资源受限设备作为模式持有方的场景.首次在双云服务器辅助的安全两方计算模型下给出安全模式匹配协议的功能函数,并基于茫然传输(oblivious transfer,OT)给出协议的具体构造.假设云服务器和参与方之间不合谋,协议在半诚实敌手模型下是安全的.协议需要4轮交互,模式方仅需要执行少量的异或操作,而复杂的OT协议主要集中在数据库方和云服务器之间.此外,使用OT扩展(OT extension)技术可以将所有OT协议的数量从O(nm)降至O(k),其中n和m是数据库方和模式方的输入长度,k是OT扩展协议中基础OT的数目,其远小于nm. 展开更多
关键词 智能环境 模式匹配 云辅助安全两方计算 ot协议 ot扩展
下载PDF
基于茫然传输协议的FATE联邦迁移学习方案 被引量:3
5
作者 郑云涛 叶家炜 《计算机工程》 CAS CSCD 北大核心 2023年第2期24-30,共7页
利用不同来源的数据参与机器学习模型的训练,能够使得训练出的模型的预测结果更加准确,然而大量的数据收集则会产生隐私方面的相关问题。FATE联邦迁移学习是一种基于同态加密的联邦学习框架,但FATE联邦迁移学习中同态加密计算复杂,收敛... 利用不同来源的数据参与机器学习模型的训练,能够使得训练出的模型的预测结果更加准确,然而大量的数据收集则会产生隐私方面的相关问题。FATE联邦迁移学习是一种基于同态加密的联邦学习框架,但FATE联邦迁移学习中同态加密计算复杂,收敛速度相对较慢,导致模型训练效率低。提出一种基于茫然传输协议的安全矩阵计算方案。通过实现矩阵加法和乘法及数乘的安全计算,完成参与两方交互下具有数据隐私保护特性机器学习模型的损失函数计算与梯度更新,并以此构造更高效的FATE联邦迁移学习算法方案。在此基础上,通过茫然传输扩展协议和通信批量处理,减少需要调用的茫然传输协议的数量,缩减通信轮数,从而降低茫然传输协议带来的通信消耗。性能分析结果表明,该方案的安全模型满足安全性和隐私保护性,并且具有一定的可扩展性,在局域网环境下,相比基于同态加密的方案,模型收敛的平均时间缩短约25%,并且随着数据样本特征维度的增加,该方案仍能保持稳定的收敛速度。 展开更多
关键词 联邦迁移学习 安全多方计算 秘密共享 茫然传输协议 同态加密
下载PDF
一个高效安全三方带通配符模式匹配协议 被引量:1
6
作者 魏晓超 郑志华 王皓 《计算机研究与发展》 EI CSCD 北大核心 2018年第10期2125-2133,共9页
安全多方计算(secure multiparty computation,SMPC)是实现分布式计算安全的重要技术,其主要考虑在多个相互独立的实体之间协同完成某项任务的计算,同时要实现输入信息的隐私保护.模式匹配在信息检索、生物工程、人脸识别等领域有着广... 安全多方计算(secure multiparty computation,SMPC)是实现分布式计算安全的重要技术,其主要考虑在多个相互独立的实体之间协同完成某项任务的计算,同时要实现输入信息的隐私保护.模式匹配在信息检索、生物工程、人脸识别等领域有着广泛应用,在实现匹配功能的同时保证查询模式及结果的隐私是当下研究的重点.带通配符模式匹配是模式匹配的一种类型,其允许查询模式中可以存在某些通配符信息,因此能够实现某一类信息的批量查询.传统的安全带通配符模式匹配协议中主要涉及数据库方和查询方2个实体,鉴于当下数据共享技术的发展,这种模型难以刻画更多的应用场景.以实际应用出发,首次在三方场景下研究安全带通配符模式匹配协议的构造.首先考虑一个具体的安全三方带通配符模式匹配功能函数,并给出其形式化描述和功能性分析;然后,基于秘密分享(secret sharing)和外包茫然传输协议(outsourced oblivious transfer,OOT)在半诚实敌手模型下给出协议构造,并通过茫然传输扩展(oblivious transfer extension)技术提高协议效率,协议仅需要3轮交互,且计算和通信复杂度为O(k)和O(nm),其中n和m是2个数据提供方的输入长度,k是实现OT扩展协议的基数,其值远小于nm. 展开更多
关键词 安全多方计算 带通配符模式匹配 外包ot协议 秘密分享 ot扩展
下载PDF
求矩阵逆的安全双方计算协议 被引量:3
7
作者 贾恒越 刘焕平 《计算机工程与应用》 CSCD 北大核心 2008年第33期112-114,共3页
关于安全多方计算的研究国内外已有一些成果,并已成为密码学领域的热点课题。论文考虑在安全两方计算的环境下,利用不经意传输OT1p协议提出求解n阶矩阵逆的协议,它能安全并且有效地完成计算任务。以此协议为基础,给出了一个新的两方求... 关于安全多方计算的研究国内外已有一些成果,并已成为密码学领域的热点课题。论文考虑在安全两方计算的环境下,利用不经意传输OT1p协议提出求解n阶矩阵逆的协议,它能安全并且有效地完成计算任务。以此协议为基础,给出了一个新的两方求解线性方程组的安全计算协议。 展开更多
关键词 安全多方计算协议 n阶矩阵的逆 不经意传输ot1^p协议
下载PDF
Secure oblivious transfer protocol from indistinguishability obfuscation
8
作者 Yuan Zheng Wang Mei Feng Xiao 《The Journal of China Universities of Posts and Telecommunications》 EI CSCD 2016年第3期1-10,共10页
A new secure oblivious transfer (OT) protocol from indistinguishability obfuscation (iO) is proposed in this paper. The candidate iO and a dual-mode cryptosystem are the main technical tools of this scheme. Garg e... A new secure oblivious transfer (OT) protocol from indistinguishability obfuscation (iO) is proposed in this paper. The candidate iO and a dual-mode cryptosystem are the main technical tools of this scheme. Garg et al. introduced a candidate construction of iO in 2013. Following their steps, a new k-out-of-1 OT protocol is presented here, and its realization from decisional Diffie-Hellman (DDH) is described in this paper, in which iO was combined with the dual-mode cryptosystem. The security of the scheme mainly relies on the indistinguishability of the obf-branches (corresponding to the two modes in dual-mode model). This paper explores a new way for the application of iO. 展开更多
关键词 indistinguishability obfuscation (iO) oblivious transfer ot protocol dual-mode cryptosystem
原文传递
非线性方程和方程组求解的安全两方计算协议 被引量:1
9
作者 贾恒越 刘焕平 《计算机科学与探索》 CSCD 2009年第1期98-104,共7页
以实系数一元二次方程为研究对象,给出针对非线性方程的安全计算协议。在半诚实模型下,协议能够完成求解的计算任务,并且协议的正确性和保密性也得到了论述。在求解一元二次方程安全两方协议的基础上,对两种类型的二次方程组进行了研究... 以实系数一元二次方程为研究对象,给出针对非线性方程的安全计算协议。在半诚实模型下,协议能够完成求解的计算任务,并且协议的正确性和保密性也得到了论述。在求解一元二次方程安全两方协议的基础上,对两种类型的二次方程组进行了研究,进一步给出相应情形下的安全两方计算协议。 展开更多
关键词 安全两方计算协议 一元二次方程 不经意传输ot1p协议
下载PDF
非线性方程求解的安全两方计算协议
10
作者 贾恒越 刘焕平 《哈尔滨师范大学自然科学学报》 CAS 2008年第2期61-63,74,共4页
以实系数一元二次方程为研究对象,首次给出针对非线性方程的安全计算协议,并且对协议的正确性和保密性也进行了说明.在半诚实模型下,协议不需要借助第三方的帮助,能够完成求解的计算任务.
关键词 安全多方计算 协议 一元二次方程 不经意传输ot^p1协议
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部