53、可篡改和易泄漏内存的密码学

可篡改和易泄漏内存的密码学

1. 篡改、泄漏和更新

在密码学的安全场景中，攻击者会发起以下几种类型的查询：
- 更新查询（Update queries） ：挑战者执行 sk ← Updatepp(sk) 操作来更新密钥，同时将泄漏量计数器 L 重置为 0。
- 篡改查询（Tampering queries） ：形式为 (tamper, T) ，其中 T 是一个电路。挑战者会将密钥 sk 更新为 T(sk) 。
- 泄漏查询（Leakage queries） ：形式为 (leak, f) ，其中 f 是一个电路。若 L + |f(sk)| ≤ ρM · |sk| ，挑战者会将 f(sk) 返回给伪造者，并更新 L := L + |f(sk)| ；否则，挑战者将终止操作。

之后进入挑战阶段，攻击者向挑战者发送两条消息 m0 和 m1 。挑战者随机抛硬币选择 b ← {0, 1} ，计算 c ← Encpp,pk(mb) 并将密文 c 发送给攻击者。最后攻击者输出一个猜测值 b′