够钟ing-CSDN博客

原创密码编码学与网络安全----原理与实践（第八版）---第9章笔记

公钥密码学与RSA

2022-06-24 22:20:43 2594 1

原创 GSW(4)

我们基于身份和基于属性的FHE方案基于身份的加密(IBE)[Sha84,BF03]和基于属性的加密(ABE)[SW05,GPSW06]是设计对于加密数据比传统的公钥设施提供更灵活的访问控制(access control)。传统地，IBE和ABE并没有提供在加密数据上的任何计算。然而，对加密数据的访问控制保持重要(尤其)当数据同态的加密。(看[CHT13]对于应用很好的讨论)。不幸地是，存在的一些IBE方案允许简单同态操作[GHV10,CHT13]，这是一个难以处理的开放问题[Nac10,GHV10,Bra1

2022-06-07 22:00:31 387 1

原创 GSW （3）

Our LWE-Based FHE Scheme1. 基本加密方案这里，我们正式描述我们基本的加密方案(没有同态操作)。这个描述匹配在介绍概括中的描述。在我们的描述中，我们分离KeyGen为三个部分Setup,SecretKeyGen,PublicKeyGen。我们提供两个解密算法Dec和MPDec。Dec是充分恢复信息当在小空间时(例{0,1})。MPDec是被Micciancio and Peikert[MP12]提出，能够恢复任意。Setup()：选择一个模数q，比特长，格的维度参数，和误

2022-06-04 22:06:13 687

原创 GSW（2）Preliminaries

1.LWE问题和GapSVPLWE问题是被Regev[Reg05]所提出。定义1(LWE) 对于安全参数，令是整数维度，是整数，是在上的分布。问题是去区分下面两个分布：在第一个分布，均匀抽样。在第二个分布中，首先均匀取出(均匀选取)，之后取样，其中(均匀选取)，设置。假设是问题是无解的。有时这是合适的去把向量看作为矩阵的行，重新定义为。然后，要么矩阵是均匀的，要么存在一个第一项系数为1的向量使得，这里的系数来自分布。对于格维度参数为和数，问题是区分是否一个维格有一个向量短于或者没有向量短于。

2022-05-27 18:57:35 480

原创 GSW 学习笔记(1)

首先，对论文进行整体学习Homomorphic Encryption from Learning with Errors:Conceptually-Simpler, Asymptotically-Faster,Attribute-Based(作者:Craig Gentry, Amit Sahai, Brent Waters)摘要：本文的全同态加密方案是基于LWE的(Learning with errors)。在先前的LWE-based方案中，乘法步骤会涉及到"relinearization"[bv1

2022-05-22 20:19:57 810 1

原创密码编码学与网络安全--原理与实现--（第八版）第5章 ------有限域

学习目标区分群、环和域。理解有限域GF(p)的定义。区分普通多项式运算、系数在中的多项式运算和有限域GF()中的多项式运算。理解有限域GF()的定义。解释模运算符的两种不同的用法。有限域在密码学中的地位越来越重要。许多密码算法都依赖于有限域的性质，特别是高级加密标准(AES)和椭圆曲线加密算法。其他例子包括消息认证码(CMAC)和认证加密方案(GCM)。本章介绍有关有限域概念的背景知识，以便读者理解AES及其他使用有限域知识的密码算法的设计。5.1群群、环和域都是数学理论中

2022-05-07 22:55:22 2534

原创 funcCPA(5，6)

5.CPA Implies Privacy against Semi-Honest Adversaries我们定义一个自然的性质对于（也叫做明文可计算的(cleartext computable)）,并且展示对于满足这个性质的协议，CPA-security保证了隐私抵挡半诚实的服务者；看定理13.Cleartext computable protocols. 如果信息的加密组成了用户的回答对于服务者的询问是高效可计算的在仅仅给用户的输入,协议是明文可计算的（A protocols is cleart

2022-04-28 22:27:00 80

原创 O~等的定义

[1]算法导论

2022-04-26 18:49:11 186

原创 funcCPA（4）

4.On the Achievability of funcCPA for Existing Schemes在这部分我们提出我们的结果在对于存在HE方案funcCPA安全的可实现性。在积极的一面，我们证明了funcCPA-security 对于所有有限级的同态方案带有独立的级别密钥(independent level keys)（定义12）是可满足的，例如，在4.1部分关于BV[9]，BGV[8]和B\FV[7,18]有限级的全同态方案(leveled HE schemes)。相反的，我们展示funcC

2022-04-26 15:53:41 146

原创密码编码学与网络安全——原理与实践（第八版）------第4章学习笔记

第4章分组密码和数据加密标准学习目标

2022-04-24 18:30:58 6050

原创 funcCPA（3）

3.A Sufficient and Achievable Relaxation of CCA2在这部分我们正式定义funcCPA-security(Section 3.1,Definition 6)，展示funcCPA-secure HE是可实现的对于任意HE配有净化算法（sanitization algorithm）(Section 3.2,Defintion 7)并且证明每一个client-aided protocols(see Difnition 5 in Section 2)实例化一个func

2022-04-22 08:56:34 109

原创 funcCPA-security（二预备知识）

2.Preliminaries在这部分，我们简短明确指出这篇文章中标准术语，概念和定义，包括CPA-security,homomorphic encryption, sanitization algorithm and privacy-preserving protocols.有关标准定义的详细信息见附录A。术语与概念. 对于，我们用表示.我们用标准的定义(see e.g. Goldreich [23]) 对于可忽略函数和多项式函数关于，表示为和；用ppt表示概率多项式时间算法；随机变量；概率集合；

2022-04-08 10:23:27 290

weixin_58331078的博客