期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
基于Goldwasser-Micali加密系统的隐私交集基数协议研究 被引量:7
1
作者 马敏耀 陈松良 左羽 《计算机应用研究》 CSCD 北大核心 2018年第9期2748-2751,共4页
安全两方计算研究的是如何使两个互不信任的参与方在不借助任何第三方的情况下实现保护隐私的协同计算。隐私交集基数是一类重要的安全两方计算问题,其研究如何使各自拥有一个有限集合的两个参与方,在保护自己输入隐私的前提下,其中一... 安全两方计算研究的是如何使两个互不信任的参与方在不借助任何第三方的情况下实现保护隐私的协同计算。隐私交集基数是一类重要的安全两方计算问题,其研究如何使各自拥有一个有限集合的两个参与方,在保护自己输入隐私的前提下,其中一方输出他们的集合交集的基数,而另一方没有输出。在半诚实攻击者模型下,对隐私交集基数问题的解决方案进行了研究,以Goldwasser-Micali加密系统作为基本的密码学工具,构建了一个隐私交集基数协议,证明了其正确性,并在半诚实攻击者模型下给出了基于模拟器的安全性证明。与已有方案相比,提出的协议在某些性能上更具优势。 展开更多
关键词 安全两方计算 隐私交集基数问题 Goldwasser-micali加密系统 同态加密
在线阅读 下载PDF
Micali类公平交换协议的分析
2
作者 王芷玲 张玉清 杨波 《计算机应用研究》 CSCD 北大核心 2006年第11期201-204,共4页
主要对M icali 2003年提出的ECS1协议进行分析。通过分析,找到了已有攻击并发现了五种新攻击,对发现的所有攻击进行深入分析,找出了攻击存在的原因。此外,还对Bao Feng等人给出的该协议的改进方案进行了分析,发现改进方案中还存在冗余... 主要对M icali 2003年提出的ECS1协议进行分析。通过分析,找到了已有攻击并发现了五种新攻击,对发现的所有攻击进行深入分析,找出了攻击存在的原因。此外,还对Bao Feng等人给出的该协议的改进方案进行了分析,发现改进方案中还存在冗余。最后,对他们提出的改进协议进行了简化,在不降低安全性的前提下提高了效率。 展开更多
关键词 公平交换协议 协议分析 micali协议
在线阅读 下载PDF
基于Goldwasser-Micali加密算法的安全子集计算 被引量:7
3
作者 王倩 任方 郑东 《计算机应用研究》 CSCD 北大核心 2020年第4期1140-1143,共4页
针对解决集合间安全子集问题的协议大多只能保护一个集合元素的隐私进行研究。在半诚实模型下,利用布隆过滤器及Goldwasser-Micali同态加密算法构建了一个安全子集计算协议,并使用安全多方计算中普遍采用的模拟范例证明方法证明了协议... 针对解决集合间安全子集问题的协议大多只能保护一个集合元素的隐私进行研究。在半诚实模型下,利用布隆过滤器及Goldwasser-Micali同态加密算法构建了一个安全子集计算协议,并使用安全多方计算中普遍采用的模拟范例证明方法证明了协议的安全性。利用布隆过滤器将拥有大量元素或大数域元素的数据集合映射为较小的数据集合,提升协议的效率及适用范围,同时,借助Goldwasser-Micali同态加密算法保证协议的安全性。相关研究大多是基于二次剩余等困难问题,不可抵抗量子攻击,可抵抗量子攻击的安全子集计算是进一步的研究方向。 展开更多
关键词 安全多方计算 同态加密 布隆过滤器 Goldwasser-micali加密算法 安全子集问题
在线阅读 下载PDF
基于FPGA的Leighton-Micali签名方案密钥生成的高速可配置实现
4
作者 胡潇 宋逸峰 +1 位作者 汪文浩 田静 《信息安全学报》 CSCD 2021年第6期17-31,共15页
由于量子计算机的飞速发展,现代密码学面临着巨大的挑战。为了实现抗量子计算机攻击的加密,人们提出了许多新的加密方案,并对后量子密码学(Post-Quantum Cryptography,PQC)开展了标准化进程。Leighton-Micali签名(Leighton-Micali sig-n... 由于量子计算机的飞速发展,现代密码学面临着巨大的挑战。为了实现抗量子计算机攻击的加密,人们提出了许多新的加密方案,并对后量子密码学(Post-Quantum Cryptography,PQC)开展了标准化进程。Leighton-Micali签名(Leighton-Micali sig-nature,LMS)是一种基于哈希的后量子签名方案,其私钥和公钥尺寸都较小,且安全性已被充分研究。LMS被互联网工程小组(Internet Engineering Task Force,IETF)选为PQC签名协议的标准方案,同时被美国国家标准技术局(National Institute of Standards and Technology,NIST)选为一种PQC过渡方案。然而,密钥生成过程中的效率低下,成为了LMS实际应用中的瓶颈。在本文中,我们首次对LMS进行基于FPGA的硬件实现与加速。首先,在不损失安全性的基础上,我们将LMS中的主要哈希函数由SHA2替换为SHA3函数。其次,我们设计了一个软硬件协同系统,将核心的哈希运算用硬件进行实现,该系统在消耗较少资源的前提下,可完成LMS协议的所有过程:密钥生成、签名与验证。该系统为物联网(Internet of things,IoT)场景下资源受限的LMS应用提供了参考。接着,我们提出了一个高速的密钥生成架构来加速LMS。该架构中具有可配置性,支持LMS的所有参数集,内部的哈希模块根据使用场景进行设计与部署,且并行度经过精心设计,以使得架构同时达到低延迟和高硬件利用率。此外,设计中的控制逻辑被设计为在适应不同参数集的情况下保持一定程度的恒定功率,以抵御功率分析攻击。该架构使用Verilog实现,并在Xilinx Zynq UltraScale+MPSoC ZCU104 FPGA平台上实验。实验结果表明,与在Intel(R)Core(TM)i7-6850K 3.60GHz CPU上启用多线程的目前较优软件实现相比,本文中的设计在不同参数配置下可实现55x~2091x的加速;与最新的各平台LMS工作相比,本文中设计可实现超过17x的加速;与相近方案的FPGA工作相比,本文中设计可实现约70x的加速。 展开更多
关键词 Leighton-micali签名协议 基于哈希的签名算法 后量子加密 硬件实现 可编程逻辑阵列
在线阅读 下载PDF
Clinical characteristics and genetic analysis of autosomal dominant lateral temporal lobe epilepsy caused by MICALI gene variation
5
作者 MEI Daoqi 《China Medical Abstracts(Internal Medicine)》 2025年第2期124-125,共2页
Objective To investigate the clinical and genetic variation characteristics of a child with autosomal dominant lateral temporal lobe epilepsy caused by de novo variation of the MICALl gene.Methods Clinical data of the... Objective To investigate the clinical and genetic variation characteristics of a child with autosomal dominant lateral temporal lobe epilepsy caused by de novo variation of the MICALl gene.Methods Clinical data of the patient with autosomal dominant lateral temporal lobe epilepsy caused by MICALl gene variation diagnosed in Children's Hospital of Soochow University in August 2019 were collected.The whole exome sequencing was performed on the core members of the family,and the characteristics of gene variations were analyzed.Results The proband,a 10 years and 5 months old boy,was admitted to the hospital because of"intermittent convulsions for 7 years".The clinical manifestations included focal or generalized tonic-clonic seizures and hearing aura,with normal language and intellectual development.No abnormalities were found in the T,and fluid attenuated inversion recovery sequences of the cranial 3.0 T magnetic resonance imaging and 3D thinslice magnetic resonance imaging.Long-range video electroencephalogram showed the distribution of spinous and slow spinous waves in the left frontal and temporal areas.The results of whole exome gene sequencing in the core family members showed heterozygous de novo missense variation in the MICALI gene of the proband(NM_022765):c.763G>T(exon6)(p.Val255Leu)that had not been reported.According to American College of Medical Geneticsand Genomicssand Association for Molecular Pathology guidelines(2015),the mutation was considered potentially pathogenic.The application of antiepilepticdrugsswaseffectivein controllingepilepticcseizures.ConclusionAuditory symptoms are main clinical manifestations for the child with autosomal dominant lateral temporal lobe epilepsy.Antiepileptic drugs can effectively control epileptic seizures of the child,and the MICALl gene c.763G>T(p.Val255Leu)mutation is the genetic cause of the proband. 展开更多
关键词 micall gene autosomal dominant lateral temporal lobe epilepsy gene variations de novo variation micall genemethods clinical genetic variation characteristics micali gene clinical data
原文传递
公平理性委托计算协议 被引量:3
6
作者 尹鑫 田有亮 王海龙 《软件学报》 EI CSCD 北大核心 2018年第7期1953-1962,共10页
传统委托计算的验证过程计算和通信开销较高,且参与者要么诚实,要么邪恶;理性委托计算是引入理性参与者,通过效用函数来保障计算结果的可靠性.首先在委托计算中引入博弈论,给出了唯一稳定均衡解.其次,基于比特币和Micali-Rabin的随机向... 传统委托计算的验证过程计算和通信开销较高,且参与者要么诚实,要么邪恶;理性委托计算是引入理性参与者,通过效用函数来保障计算结果的可靠性.首先在委托计算中引入博弈论,给出了唯一稳定均衡解.其次,基于比特币和Micali-Rabin的随机向量表示技术,设计一种新的理性委托计算协议.针对协议的公平性问题,参与双方分别提交特殊构造的比特币押金,保障参与者双方的利益;针对验证复杂问题,运用Micali-Rabin的随机向量表示技术,验证过程简单、高效,且不会泄漏关于计算结果的任何信息.最后,安全性和性能分析结果表明,该协议不但解决了传统委托计算的验证复杂问题,同时保证了诚实者的利益.王海龙(1993-),男,硕士,CCF学生会员,主要研究领域为密码学,安全协议. 展开更多
关键词 理性委托计算 子博弈精炼纳什均衡 比特币 micali-Rabin随机向量表示技术 博弈论
在线阅读 下载PDF
基于博弈论优化的高效联邦学习方案 被引量:8
7
作者 周全兴 李秋贤 +1 位作者 丁红发 樊玫玫 《计算机工程》 CAS CSCD 北大核心 2022年第8期144-151,159,共9页
随着网络信息技术与互联网的发展,数据的隐私与安全问题亟待解决,联邦学习作为一种新型的分布式隐私保护机器学习技术应运而生。针对在联邦学习过程中存在个人数据信息泄露的隐私安全问题,结合Micali-Rabin随机向量表示技术,基于博弈论... 随着网络信息技术与互联网的发展,数据的隐私与安全问题亟待解决,联邦学习作为一种新型的分布式隐私保护机器学习技术应运而生。针对在联邦学习过程中存在个人数据信息泄露的隐私安全问题,结合Micali-Rabin随机向量表示技术,基于博弈论提出一种具有隐私保护的高效联邦学习方案。根据博弈论激励机制,构建联邦学习博弈模型,通过设置合适的效用函数和激励机制保证参与者的合理行为偏好,同时结合Micali-Rabin随机向量表示技术设计高效联邦学习方案。基于Pedersen承诺机制实现高效联邦学习的隐私保护,以保证联邦学习各参与者的利益和数据隐私,并且全局达到帕累托最优状态。在数字分类数据集上的实验结果表明,该方案不仅提高联邦学习的通信效率,而且在通信开销和数据精确度之间实现平衡。 展开更多
关键词 联邦学习 博弈论 帕累托最优 隐私保护 micali-Rabin随机向量表示技术
在线阅读 下载PDF
面向大数据定价的委托拍卖方案 被引量:7
8
作者 尹鑫 田有亮 王海龙 《电子学报》 EI CAS CSCD 北大核心 2018年第5期1113-1120,共8页
大数据合理定价是当前大数据交易中亟待解决的具有一定挑战性问题之一.本文针对大数据定价困难问题,基于Micali-Rabin的安全计算技术提出一种具有大数据定价功能的安全委托拍卖方案.在方案中首先基于Micali-Rabin的随机向量表示方法设... 大数据合理定价是当前大数据交易中亟待解决的具有一定挑战性问题之一.本文针对大数据定价困难问题,基于Micali-Rabin的安全计算技术提出一种具有大数据定价功能的安全委托拍卖方案.在方案中首先基于Micali-Rabin的随机向量表示方法设计满足标价密封性的大数据拍卖及验证算法.其次,基于Merkle树和Bit承诺协议实现大数据交易中数据的完整性和底价的不可否认性,特别是在定价阶段,利用一种特殊的多方安全计算协议隐藏大数据的底价,以此保障了大数据交易的公平性.最后,方案安全性和性能分析表明,该方案特别适用于大数据交易场景下的数据委托拍卖. 展开更多
关键词 大数据定价 micaliRabin随机向量表示 匿名性 密封拍卖
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部