美文网首页IAPP CIPT认证
CIPT扩展知识-隐私增强技术-同态加密

CIPT扩展知识-隐私增强技术-同态加密

作者: 遥望潇湘 | 来源:发表于2022-09-15 13:56 被阅读0次

    基础介绍

    随着云计算的普及,现在大部分公司都把数据与应用迁往了不同的公有云平台,云平台也提供了丰富的数据安全性保障,覆盖了存储加密,传输加密以及便利的密钥管理。但这些加密措施都是在服务器端完成的,也就是说公有云厂商是同时掌握了密钥和密文的。从云平台用户角度来说,我们只能信任厂商,会遵守约定的服务方式,不会访问我们上传的隐私数据。

    在密码学领域,同态加密(Homomorphic Encryption, HE)的快速发展在未来可以很好的解决这个问题。它的理念是通过特定的加密算法,实现对已经加密的密文进行处理后,等同于对明文数据直接进行特定的计算。

    如下图所示,本地数据加密后才上传到云端进行存储,云端因为没有密钥无法获知密文内容。当数据有需要进行计算时,由云端直接对存储的密文进行计算,计算结果返回给本地后再进行解密。解密后的结果f'和直接对明文进行计算获得的结果F‘(m0,m1)是一样的。这就在充分利用了云平台存储和计算能力的情况下,又隔离了云平台对敏感数据的访问。

    同态加密的发展

    同态加密针对能支持的运算分为两类,一是全同态加密(Fully Homomorphic Encryption-FHE),能支持任何给定的计算函数F。另一类是半同态加密(Partially Homomorphic Encryption-PHE),它只支持加法或乘法中的一种运算。

    目前比较成熟的半同态算法有: RSA算法(乘法同态),EIGamal算法(乘法同态)和Paillier算法(加法同态)。全同态算法是从2009年开始提出,目前主要有BGV,BFV,GSW和CKKS方案。

    方案实现

    建议先阅读RSA加密算法理解非对称加密中涉及到的基本数学知识

    1. RSA算法

    RSA加密算法在不增加随机数的情况下是满足乘法同态的,我们可以快速证明

            有两个明文消息m_{1},  m_{2}  

            用公钥e进行加密得到 c_{1} = (m_{1}) ^e(mod N)c_{2} = (m_{2}) ^e(mod N)

            密文结果做乘法运算:

    c_{1} *c_{2}= (m_{1}) ^e(mod N)*(m_{2}) ^e(mod N)=((m_{1}) ^e(m_{2}) ^e)(mod N)=(m_{1}*m_{2}) ^e(mod N)

            这和明文先做乘法运算再加密是一样:

                    E(m_{1} *m_{2})==(m_{1}*m_{2}) ^e(mod N) 

    2. Paillier算法

        Paillier加密算法也是一种公钥加密算法,基于符合剩余类的困难问题。算法包含太多数论知识我们就不详细介绍,有兴趣的朋友可以去阅读参考文献#2.

        Pailier是满足加法同态的,我们做个快速验证

        密钥: 公钥pk = (n, g) 私钥sk = (\lambda ,\mu )

        数据加密: c = g^m r^n \bmod n^2    其中r\in Z_{n^2 }^*

        数据解密: m=L(c^\lambda \bmod n^2)*\mu \bmod n

        我们验证下这个算法是否满足加法同态    c_{1} *c_{2}=(g^{m_1} (r_1)^n\bmod n^2 x^b)*(g^{m_2} (r_2)^n\bmod n^2 x^b) = (g^{m_1} (r_1)^n*g^{m_2} (r_2)^n)\bmod n^2

     = (g^{m_1} *g^{m_2} (r_1r_2)^n)\bmod n^2=(g^{m_1+m_2} (r_1r_2)^n)\bmod n^2

    因为随机数 r\in Z_{n^2 }^* 所以 (r_{1} r_{2} )^n\bmod n^2 = (r_i)^n\bmod n^2 //剩余定理

    所以对明文做加法后再加密:E(m_1+m_2) = g^{m_1+m_2}r^n\bmod n^2 = c_1*c_2

    也就是说明文相加的结果,是等于对密文结果的乘积进行解密后的结果,所以该算法满足加法同态加密 

    限制与应用

    全同态计算是一个非常理想的方案,能确保数据的计算过程中不会泄漏任何原始数据中包含的隐私信息,可以应用于各类需要安全计算的场景。但现有的FHE方案在加、解密效率上较低, 构造方式和实现技术也很复杂, 这阻碍了在实际业务场景中的落地。

    而相对来说PHE已经得到了广泛的应用,联邦学习中就利用PHE实现在不暴露明文数据情况下实现对模型参数的更新。谷歌也有通过结合Paillier加密算法和多方安全计算,实现了帮助广告主在符合隐私前提下评估广告转化效果的应用开发。

    参考资料:

    1. Freebuf - 同态加密:实现数据的可算不可见 - 作者:狴犴安全团队

    2. 知乎 - Paillier半同态加密:原理、高效实现方法和应用 - 作者:峰青

    相关文章

      网友评论

        本文标题:CIPT扩展知识-隐私增强技术-同态加密

        本文链接:https://www.haomeiwen.com/subject/nwwkortx.html