das安全——关于数据篡改的验证.pptVIP

总结 数据篡改验证的几个方面(从query结果来看): 原数据未被非法的增删改 简单的元组级select、join操作结果集完整性的验证 不可做范围查询的属性列上等值查询完整性的验证 集合函数（sum、avg）正确性的验证 Client的增删改操作得到完整执行 性能考虑： 计算力 存储 带宽 对查询的影响 对数据分布的影响 基于概率的验证方法 验证的关键：fake tuples的构造 数据分布对于安全很重要 Fake tuple是否是有用的数据？对于完全不会出现在query结果中的fake tuple对于完整性的验证没有意义。出现的几率很小则对于完整性的验证贡献不大。或结果集中的fake tuple数量不多，则发现数据篡改的概率较小。Fake tuple数量太多，则会增加server存储，降低query执行效率，fake tuples的传输增加带宽压力，Cs(Q)与Cc(Q)的比较时间也会加大。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 基于概率的验证方法 完整性验证方法： 随机fake tuple 验证 确定的/伪随机 fake tuple 验证 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 随机fake tuple 验证 方法： 在client端按real tuple distribution随机生成fake tuple，并存储在client端 将fake tuple与real tuple一样处理后存放到server Client发出query，server返回查询结果，包含符合query的real tuple 与 fake tuple Cs(Q) 在client端执行同一个query，得到满足query的fake tuple Cc(Q) 比较|Cs(Q)|?=|Cc(Q)|，验证返回结果的完整性 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 随机fake tuple 验证 优点： 可验证简单的元组级的range query的完整性 可验证含join的query的结果集的完整性 可验证server对于client发出的增删改的执行 缺点： Client端需要存储和维护fake tuples Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 确定的/伪随机 fake tuple 验证 Choose a family of functions（易于计算部分覆盖元组的个数） e.g., linear functions, quadratic functions Randomly pick a key, which determines a function in the family e.g., coefficients of the linear/quadratic functions Each client remembers the function Little storage cost Efficient to find the count of fake tuples that satisfy a query Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Fake tuple 的生成 How about distribution? Divide the feature space into grids Capture the distribution of the real data (count of tuples in each grid) Create a key (hence a deterministic function) for each grid The count d