检索结果-南通市图书馆

CCA1 secure FHE from PIO,revisited

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Cybersecurity 2018年第1期1卷 222-229页

作者： Biao Wang Xueqing Wang Rui Xue State Key Laboratory of Information Security Institute of Information EngineeringChinese Academy of SciencesBeijing 100093China School of Cyber Security University of Chinese Academy of SciencesBeijing 100049China

Fully homomorphic encryption(FHE)is a powerful cryptographic primitive that allows anyone to compute on encrypted data using only public *** far,most FHE schemes are CPA *** PKC 2017,Canetti et *** the generic transformation of Boneh,Canetti,Halevi and Katz to turn any multi-key identity-based FHE scheme into a CCA1-secure FHE *** main construction of multi-key identity-based FHE is from probabilistic indistinguishability obfuscation(PIO)and statistical trapdoor *** show that the above multi-key identity-based FHE is not secure by giving an *** we give a solution to avoid the attack and redesign a more succinct and efficient multi-key identity-based FHE *** with the scheme of Canetti et al.,ours has smaller secret key of one identity and more efficient homomorphic *** we obtain a more efficient CCA1 secure FHE scheme.

关键词： Fully homomorphic encryption CCA1 Probabilistic indistinguishability obfuscation

强安全模型下TLS1.3协议的形式化分析与优化

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

软件学报 2021年第9期32卷 2849-2866页

作者：陆思奇周思渊毛颖解放军信息工程大学河南郑州450001 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093 中国科学院大学网络空间安全学院北京100093

TLS协议在TCP/IP体系中的传输层和应用层之间工作,通过提供机密性、完整性、必选的服务器认证以及可选的客户端认证等一系列安全服务,有效保护了传输层的安全.TLS1.3协议为了降低网络延迟,增加了对0-RTT数据的支持,通过客户端缓存服务... 详细信息

TLS协议在TCP/IP体系中的传输层和应用层之间工作,通过提供机密性、完整性、必选的服务器认证以及可选的客户端认证等一系列安全服务,有效保护了传输层的安全.TLS1.3协议为了降低网络延迟,增加了对0-RTT数据的支持,通过客户端缓存服务器的长期公钥,在第1条消息中,直接利用该长期公钥生成一个会话密钥发送部分应用层数据.针对3种0-RTT模式,使用Scyther工具对其进行了形式化分析,得出了在CK安全模型下,0-RTT数据的两种攻击,并基于其中的1-RTT semi-static模式提出了一种优化协议.通过安全性证明和形式化分析,证明了该优化协议在CK安全模型下能够抵抗针对0-RTT数据的KCI攻击和重放攻击.

关键词： TLS1.3 形式化分析 Syther CK安全模型 KCI攻击

维普期刊数据库

Secure network coding from secure proof of retrievability

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2021年第12期64卷 252-253页

作者： Jinyong CHANG Bilin SHAO Yanyan JI Maozhi XU Rui XUE School of Information and Control Engineering Xi'an University of Architecture and Technology School of Management Xi'an University of Architecture and Technology School of Mathematical Sciences Peking University State Key laboratory of Information Security Institute of Information EngineeringChinese Academy of Sciences

Dear editor,Compared with the traditional storing-and-forwarding routing mechanism, network coding has become a more attractive paradigm because it has been proven capable of achieving maximized throughput, enhanced r... 详细信息

关键词： Network Coding Proof of Retrievability Random Oracle Provable Security Cloud Storage

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

具有短密文的多身份全同态加密构造框架

信息安全学报 2018年第5期3卷 54-63页

作者：王学庆王彪薛锐中国科学院信息工程研究所信息安全国家重点实验室北京中国100093 中国科学院大学网络空间安全学院北京中国100049

类似于多密钥全同态加密(Multi-key Fully Homomorphic Encryption, MFHE),多身份全同态加密(Multi-id Identity-based FullyHomomorphicEncryption,MIBFHE)允许对不同用户的密文进行关于任意函数的同态计算,且后者因具有加密密钥易获取、密钥托管和密钥撤销易实现等特点,具有更深远的应用前景。Canetti等人在PKC 2017上给出了一个框架,可将身份加密方案(Identity-based Encryption,IBE)和MFHE方案转换成MIBFHE方案。若用基于DLWE假设的IBE方案和Brakerski与Perlman的全动态(1)MFHE方案(以下简称BP方案),可得到全动态的MIBFHE方案,但密文规模较大,为O(n^5log^5q),这里n, q是DLWE假设的参数,且紧致性相比于MFHE方案变弱。因密文规模是影响通信效率的主要因素,本文构造了一个密文规模较小和紧致性较强的MIBFHE方案框架,且仅用了MFHE这一个构件,然后用BP方案去实例化,得到了全动态的、选择性安全的MIBFHE方案,其密文规模为O(nlogq).

关键词：多身份的身份全同态加密多密钥的全同态加密全同态加密身份加密

维普期刊数据库

程序漏洞:原因、利用与缓解——以C和C++语言为例

在线全文

学校读者我要写书评

暂无评论

信息安全学报 2017年第4期2卷 41-56页

作者：陈小全薛锐中国科学院信息工程研究所信息安全国家重点实验室北京中国100093 中国科学院大学网络空间安全学院北京中国100049

程序中存在的漏洞是针对程序的各种攻击事件的根源,攻击者可以利用这些漏洞改变程序的行为或完全控制程序。本文以C语言和C++语言为例循序渐进地阐明了程序中漏洞产生的根本原因,并对利用这些漏洞实施的攻击进行了深入地分析和探讨,同... 详细信息

程序中存在的漏洞是针对程序的各种攻击事件的根源,攻击者可以利用这些漏洞改变程序的行为或完全控制程序。本文以C语言和C++语言为例循序渐进地阐明了程序中漏洞产生的根本原因,并对利用这些漏洞实施的攻击进行了深入地分析和探讨,同时也指出了当前主要的漏洞检测和漏洞阻止技术的优势和不足。最后,我们提出了对程序进行持续的和全面的内存布局多样性的未来研究方向。

关键词：程序漏洞利用缓解

维普期刊数据库