输入为 x，通过均匀选择的随机运行 A，将输出赋给 y
PPT 概率多项式时间
表示访问预言机 O 的算法 A
k 是密钥 key，pk 是公钥，sk 是私钥
m 是待加密信息，c 是密文
n 是 安全参数
negl 是可忽略函数
poly 是多项式
是函数的集合
IV 是初始向量
G 是伪随机数生成器
D 是区分算法
公钥、对称加密：Gen 是密钥生成，Enc 是加密，Dec 是解密
消息验证码：Gen 密钥生成，Mac 鉴别标签生成，Vrfy 验证过程
数字签名：Gen 密钥生成，Sign 签名生成过程，Vrfy 签名验证过程