9、云端加密数据的安全多标签分类与云备份系统方案

云端加密数据的安全多标签分类与云备份系统方案

一、云端加密数据的安全多标签分类

1. 安全证明
   • 训练阶段安全证明 ：在安全训练阶段，云服务器 CS1 能访问加密数据集 (T’)，收到的消息也都是加密值。其视图 (VIEW1 = (e_1, e_2, \cdots, e_{\alpha}))，其中 (e_i) 是密文，(\alpha) 是 CS1 能访问的加密值数量。通过模拟器 (S1 = (r_1, r_2, \cdots, r_{\alpha}))，(r_i) 为随机数，由于 Paillier 密码系统是语义安全的加密方案，(S1) 与 (VIEW1) 在计算上不可区分。云服务器 CS2 的视图 (VIEW2 = (D_{sk}(Q)))，(D_{sk}(Q)) 是二进制向量，构造的模拟器 (S2) 每个元素从 ({0, 1}) 中随机选取，因 (\pi) 是置换函数，(VIEW2) 与 (S2) 在计算上不可区分。所以，训练阶段在半诚实模型下是安全的，云服务器无法获取数据集 (T) 和 ML - kNN 分类模型的有用信息。
   • 分类阶段安全证明 ：分类阶段，CS1 的视图 (VIEW1 = (t’, C_{t’}(l), Q, Q’, R_{t’}(l)))，CS2 的视图 (VIEW2 = (D_{sk}(Q), R’_{t’}(l)))。CS1 获取的消息是加密值，收到的值是随机数，可构造与 (VIEW1) 和 (VIEW2) 在计算上不可区分的模拟器 (S1) 和 (S2)。因此，分类阶段在半诚实模型下安全，云服务器不会获取 ML