百万富翁问题高效算法.ppt

目录 SDP问题的概述 预备知识—迹函数 SDP协议 SDP的安全分析 SDP的应用 SDP问题:拥有私有输入向量的两方想在自己的输入上进行点积计算,但是点积计算的结果只能被一方拥有,且双方都不想泄露自己的私有输入给对方. 预备知识---迹函数 具有p个属性的有限域用 来表示,它的n维扩展用 来表示.让 做为在 上 的一个基.任何一个在 中的 都可以表示为: = 其中 属于Fp, 定义1:迹函数是 到 的线性映射, 其中 让 = , = ,在 上 的迹,被定义为: 等式(2) 当 =1,就用 表示迹函数,迹函数是 到 的线性映射,它具有下 面的性质: 1) , 2) , , 3) 4) 假设 , 是 的基,如果对于 : = 等式(3) 就把 称做为 的对偶基 . 在 中基的个数为: 定理2.1 是 的基, 是 的对偶基, 于任意的 有 其中 ,有 证明: 定理2.1表明可以直接用迹函数来计算点积.但是这定理在密码学中是 没有用的,它仅仅是安全计算SDP的方法.SDP协议的定义必须转化成 安全计算迹函数上. SDP协议 问题: 用户有 , 服务器有 SDP协议 输入:用户有一个向量 ,服务器有一个向量 ; 输出:用户得到 ; Step1: 用户随机选择 , ,且 .用户计 算: 定理4.1 在上面的协议中,用户在信息理论上是安全,服务器随机推测出用户的输入的次数范围是(1, ), , . 证明: 用户在信息理论上是安全的,通过适当的 . 能够找到多个 利用 计算出相同的 定理4.2 在SDP协议中服务器几乎在信息理论上是安全的,用户猜出服务器输入的次数在(1, ), ,且 . 证明: 在协议中,用户收到了 ,用户可以利用迹函数的反函数,可以得到 ,迹函数是 到 的线性映射.我们用 来表示 的规模,在 中就有 个元素乘以 后的迹函数的值与 是相等的. 这些元素的集合用 来表示. 根据 得到的 的可能取值. 的规模用 来表示. 用户可以根据 ,可以进一步减少 的可能取值.因为同时满足 乘以 的迹函数的值与 的值相等. 的可能取值集合用 来表示. 迹函数是双向单射. 的规模是: 通过改变 的取值可以把用户推测出服务器的优势变得任意小,如果 可以增大 的值来达到需求的安全.对于所有的 ,存在一个多项式 函数,使得: