研究文章

可核查Location-Encrypted空间聚合计算移动人群传感

算法2

安全分析实验。
输入:的关键 挑战者的明文 ,随机值
输出:安全的判断算法
(1) 挑战者号 设置一个实例 ,运行 ,得到关键 ,并发送 对对手
(2) 发送
(3) 输出的位置 , ,发送他们
(4) 计算 ,和发送 作为明文
(5) 选择一个统一的位b ,并发送
(6) 生成一个交互脚本,输出
(7) 如果 ,实验输出1,这意味着对手 成功,否则为0