语义安全性 Semantic Security
除了信息论安全、密码学健壮，我们还需要讨论算法的语义安全性。假设攻击者只具有有限的计算资源，语义安全性指在已知密文的情况下无法获得明文的信息。
基于游戏的证明（定义）
攻击者可以选择两个长度相同的明文m_0和m_1交给挑战者进行加密，挑战者从两个明文中选择其一进行加密，然后攻击者根据加密后的数据判断哪一个明文被加密。
令W_0和W_1分别表示猜错和猜对，则攻击者的优势为：
Advantage [A, E] \coloneqq |Pr[W_0] - Pr[W_1]|当对于所有高效的算法A，攻击者的优势Advantage[A, E]的值几乎为0（negligible），也即Pr[W_0] \thickapprox Pr[W_1]的时候，称加密方法E是语义安全的。
RSA的语义安全性
考虑RSA的语义安全性证明：攻击者可以对两个明文m_0和m_1都进行加密，因为公钥是公开的，从而得到对应的密文x_0和x_1。此时把x_0、x_1与x_b进行对比就可以知道挑战者对哪个明文进行了加密操作。
因此，传统RSA不具有语义安全性。导致这种缺陷的原因是，其加密算法具有确定性（deterministic），我们需要一种非确定性加密方案（例如概率加密）来解决这个问题。一种简单的思路是在加密前给明文添加随机数。
