推理泄漏原理.pptVIP

现在可以应用矩阵E’的第i行作出对应的集合si如下： si ={ j | E’的第i行有一个1在j列}，i=1,…,k(k+1)显然，这些集合的任意两个至多有一个公共元素，每一集合恰有k个元素，且k(k+1)?k2，故取m=k2+1，定理得证。 例7-11 k=3时，E3,1如下 移出最后一行和这一行有1的所有列， 应用E’可产生以下集合：{1，2}，{1，3}，{2，4}，{3，4}，{1，4}，{2，3}，它们都是{1，2，3，4}的子集。如果只要m=5个，任取其中5个即可。（例 11） 定理7-4 假定数据库有Nk2个元素，且诸元素两两不同，查询是任意选择函数类型，那么至多用k2+1次查询，即能泄漏数据库。即使交搭限制最多是1定理也成立。 证 我们应用预备定理，并沿用其中的符号。设qi是查询集si的响应， ，应用m=k2+1次查询有m个响应q1,q2,…qn，其中至少有两个是相等的。不妨设 ,因此，若 ，则 泄漏出x的值。证毕。 注意，定理中的泄漏既不是全局性的也不是选择性的，因为这一泄漏中的确定元素仅在构造终结时被知道，不可能事先指定。另外，本定理不要求知道数据库的某些元素。 定理7-4是针对最坏情况而言的。如果条件不变而用户有极好运气，从上述证明过程中可看出，两次查询足以泄漏。这不仅对键指定模型是如此，对特征指定模型也如此。 例如，若已知 （1）C*D={i} （2）q(C,A)=q(D,A)，q是任意选择函数 （3）对所有j， 时， 则 例7-12 假设用户知道王永红是满足公式 男*计划处的唯一男同事。 Median(销售部+男*计划处,奖金) = Median(450,400,300,0)=300 Median(技术部+男*计划处，奖金) = Median(350,310，300,100)=300 而在这两个集合并中成员有不同的奖金，所以300必须对应同时在两个查询集中的一个同事，这必然是王永红的奖金。 ???????? 关于最大值最小值的结论 定理7-5 假定数据库有 个元素，且诸元素两两不同，那么数据库能用交搭是1的最大值类型的k个查询泄漏。 证 考虑一个k?k矩阵。为了简明我们把{i1,…,ik}就记为{1,…,k}。矩阵是对称的，即mij=mji，对i=1,…,k 和 j=1,…,k 我们把1~k(k+1)/2的相继数写成 1 2 3 4 … k k+1 k+2 k+3 … 2k-1 2k 2k+1 … 3k-3 … …. ….. k(k+1)/2 补充上对称项作为矩阵，能证明任何两行（即两个查询集）至多有一个公共元素。恰在对角线上的元素仅出现一次，其它元素都出现两次。设矩阵每一行对应于一个查询，y是所有响应的最大值。如果y是唯一的qi的响应，则y 是xs的值， ，如果y是qi和qj的共同响应。不妨设ij，则y是xs的值，这里 ，证毕。 泄漏不是全局性和选择性的。如果查询允许无限制交搭，泄漏就更容易。 定理7-6 设数据库有N?2m+1个元素，而m=(1+log2k)，且元素两两不相同，那么数据库能通过m个交搭无限制的最大值查询产生泄漏。 下面看一个例子。 子集 元素 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 2 1 1 1 0 1 1 0 0 1 1 0 0 1 0 0 3 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 4 1 0 1 1 1 0 0 1 0 1 1 0 0 0 1 例12 设k=8，因此m=4。对于4个元素的集合，我们有15个非空子集。 对应于各行的1分别取查询集，设 假定这四个查询的响应的最大值y是等于第1、第3和第4个查询的响应。因此x4=y（因唯有第4列有这种情况），余类推。这样产生了泄漏。（例12完） 证 我们再次用j代替ij，m个元素的集合具有2m-1个非空子集。经过适当的选取，m个元素中的每一个恰将出现在k个子集中，把2m-1个子集编号为1，2，…，2m-1。定义查询q1,…,qm如下：元素j含于查询I中当且仅当元素I含于子集j中