2、通用环境下使条件安全密码系统无条件无滥用

通用环境下使条件安全密码系统无条件无滥用

1. 引言

早期研究发现，在认证过程中可以以隐蔽的方式隐藏秘密消息，这种隐藏通道被称为隐蔽通道。例如，[Sim84]通过两个囚犯在狱警监视下通信的例子来说明隐蔽通道，狱警虽能读取消息，但无法察觉隐蔽消息的使用和内容。

[Des88b]提出了主动狱警的概念，证明了可以构建无隐蔽通道的认证和签名系统。[Des88a]则研究了不同场景下的隐蔽通道问题，不过其解决方案是针对特定问题的详尽探讨。本文的目标是以建设性的方式证明，使用编译器可以将给定的密码系统转换为无滥用版本，但该解决方案可能会破坏安全规范，因此只能针对一类密码系统证明相关定理。

2. 滥用和无滥用的形式化模型

• 定义1：m - 参与者系统 ：设 $A_1, \cdots, A_m, A_{m + 1}$ 为概率图灵机。若所有机器 $A_i$ 有共享的只读磁带 $C$，且满足：
  • 所有 $A_i (1 \leq i \leq m + 1)$ 有自己的工作磁带和随机磁带。
  • 每个 $A_i (1 \leq i \leq m + 1)$ 有私有只读磁带 $H_i$，其内容在机器运行前已写入。
  • 对于 $1 \leq i \leq m$，$A_i$ 有 $m - 1$ 个只写通信磁带 $T_{ij} (1 \leq j \leq m 且 i \neq j)$，$A_{m + 1}$ 有 $m(m - 1)$ 个只读通信磁带 $R_{ij}$，且 $R_{ij} = T_{ij}$。
  • 对于 $1 \leq i \