41、代理重加密中恶意代理的追踪技术解析

代理重加密中恶意代理的追踪技术解析

一、预备知识

在代理重加密（PRE）领域，我们首先要了解一些基础的模型和安全概念。

（一）单跳单向 PRE 方案

单跳单向 PRE 方案是由一系列算法组成的元组，包括全局设置、密钥生成、重加密密钥生成、密钥检查、一级加密、二级加密、重加密、一级解密和二级解密等算法。以下是这些算法的详细介绍：
1. 全局设置（Global - setup） ：输入安全参数 λ，该算法生成所有参与方使用的公共参数 par。
2. 密钥生成（Keygen） ：输入公共参数 par 和安全参数 λ，所有参与方使用此随机算法生成私钥/公钥对 (sk, pk)。
3. 重加密密钥生成（ReKeygen） ：给定公共参数 par、用户 i 的私钥 ski 和用户 j 的公钥 pkj，此（可能随机）算法输出一个密钥 Rij，用于将发往用户 i 的二级密文重加密为发往用户 j 的一级密文。
4. 密钥检查（CheckKey） ：这是一个确定性算法，用于检查 Rij 作为从用户 i 到用户 j 重加密消息的代理密钥的格式是否正确。
5. 一级加密（Enc1） ：输入公共参数 par、接收方的公钥 pk 和明文 m，此概率算法输出一个一级密文，该密文不能再为其他方进行重加密。
6. 二级加密（Enc2） ：给定公共参数 par、接收方的公钥 pk 和明文 m，此随机算法输出一个二级密文，该密文可