35、并行解密查询与盲解密方案的研究进展

并行解密查询与盲解密方案的研究进展

1. 混合CCA安全的必要充分条件

在公钥加密（PKE）方案和密钥封装机制（KEM）的研究中，混合选择密文攻击（mixed CCA）安全概念的关系十分重要。对于不同明文空间大小的PKE方案，存在不同的必要充分条件来判断不同安全概念之间的蕴含关系。
- 明文空间超多项式大的PKE方案 ：对于明文空间大小为超多项式大的PKE方案，⟨B : F : A⟩ - mCCA安全蕴含⟨B : F : A⟩ - mCCA安全的充要条件是(B||F||A) ⊆qs (B||F||A)、(B||F) ⊆qs (B||F)和(F||A) ⊆qs (F||A)同时成立。
- 明文空间多项式有界的PKE方案和KEM ：对于明文空间大小为多项式有界的PKE方案和KEM，⟨B : F : A⟩ - mCCA安全蕴含⟨B : F : A⟩ - mCCA安全的充要条件是(B||F||A) ⊆qs (B||F||A)和(F||A) ⊆qs (F||A)同时成立。

这些条件的明确对于研究PKE方案和KEM的安全性关系非常有用，我们可以利用这些定理完全建立有界并行CCA安全与其他现有安全概念之间的关系。

2. 从IND - CPA安全PKE方案的可行性构造

通过采用混合CCA安全的概念，我们可以从IND - CPA安全的PKE方案构造出能加密多项式长度明文（即指数级大的明文空间）的PKE方案。
- 构造⟨∅: sqp : ∅⟩ - mCCA安全的PKE方案 ：对于任意多项式q ≥ 0，存在一种屏蔽黑盒构造方法，能从IN