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 在 R 中执行会有一个固定答案 ans(R, q)。使用 RDAS 将 R 转换为 R′后，如果服务器遵循协议正确执行，那么可以通过验证过程 V 从服务器响应 ρ 中恢复出答案 ans。若服务器恶意偏离协议，发送与正确响应 ρ 不同的响应 ρ′，验证过程 V 应输出 ⊥ 拒绝该响应。
• 安全性