小熊划水博

最近事比较多，写的也比较少了，之前看的安全多方计算、秘密共享、差分隐私保护又忘了，以后有时间再写吧就当做笔记了，还得多写随机预言机模型随机预言机模型通常是现实中哈希函数的理想化替身，其起源于把哈希函数看伪随机的函数的思想。ROM理解为完美的散列函数具有以下性质：（1）一致性：相同的输入必有相同的输出（2）可计算性：输出的计算可在多项式时间内完成（3）均匀分布性：预言机的输出在取值空间内均匀分布，无...

陷门函数：正向计算是很容易的，但若要有效的执行反向计算则必须要知道一些secret/key/knowledge/trapdoor（知识？）,也称为伪随机置换，可用于构造公钥密码系统。若 f 为陷门函数，则 y = f (x) 是很容易计算的，但若要计算 x = f(-1) (y) 则是困难的，若已知一些额外的knowledge（trapdoor/key） k , 则计算  x = f(-1...

可证明安全的目标是为“一个方案是安全的”提供数学上的保证。完美安全一般用概率上的知识来进行证明，一次一密为完美安全。 计算安全比完美安全稍弱，一般考虑PPT（概率多项式时间）能力的敌手，可以通过两种方式进行证明：Simulation-Based Approach、Game-Based Approach.Simulation-Based Approach（后续可能会再写一篇详细介绍）思想...

好久没来了，把前段时间写的都贴上来。。。1、研究背景作用：密文云数据动态共享基于用户数据隐私性考虑，用户存放在云端的数据都是加密形式存在的。而云环境中存在着大量数据共享的场景。由于数据拥有者对云服务提供商并不完全信任，不能将解密密文的密钥发送给云端，由云端来解密并分享出去。数据拥有者自己下载密文解密后，再用数据接收方的公钥加密并分享，无疑给数据拥有者带来很大的麻烦，同时也失去了云端数据...

参考：https://blog.youkuaiyun.com/juzhenyuan/article/details/80913777 MPC Secure Multi-Party Computation 安全多方计算 一种保护数据安全隐私的多方计算算法。 GC Garbled Circuit 加密电路 ...

T. El Gamal. A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms. IEEE Transactions on Information Theory, IT–31(4):469– 472, July 1985.ElGamal Encryption is IND-CPA secure...