16、RDAS1：用于涉及任意析取的选择查询的通用方案

RDAS1：用于涉及任意析取的选择查询的通用方案

在数据查询处理中，安全性和正确性是至关重要的。本文将介绍一种名为 RDAS1 的对称密钥方案，用于认证查询处理，该方案主要处理单属性选择查询或涉及任意数量相等条件析取的选择查询。

1. 基本概念

• 查询翻译器 Φ ：它将针对关系集 R 的查询转换为针对关系集 R′的查询。给定一个 R - 查询 q，Φ(q) 就是一个 R′ - 查询。通过使用 Φ，客户端能够将原本针对 R 的查询转换为可以在转换后的关系集 R′上执行的查询。
• 响应过程 Ψ ：客户端将查询 q 转换为 Φ(q) 并发送给服务器。服务器执行函数 Ψ，该函数接收查询 Φ(q) 并使用关系集 R′和 Ms，输出结果 ρ 作为服务器的响应并返回给客户端。
• 验证过程 VK ：在客户端运行，接收查询 q、服务器的响应 ρ 和 Mc 作为输入，输出查询 q 的答案 ans 或者特殊符号 ⊥（表示拒绝）。

2. 正确性和安全性

• 正确性 ：如果固定关系集 R，执行 R - 查询 q 会有一个固定答案 ans(R, q)。使用 RDAS 将 R 转换为 R′后，如果服务器正确遵循协议，通过过程 V 应该能够从服务器响应 ρ 中恢复出答案 ans。如果服务器是恶意的，发送与正确响应 ρ 不同的响应 ρ′，过程 V 应该输出 ⊥ 拒绝该响应。
• 安全性模型 ：允许对手选择