9、密钥封装机制及其泛化研究

密钥封装机制及其泛化研究

1. 预备知识

1.1 符号表示

在密码学方案算法和安全游戏的伪代码中，有如下常见的符号使用规则：
- 赋值操作 ：使用 var ← exp 来计算表达式 exp 并将结果赋值给变量 var 。若 var 是集合变量且 exp 计算结果为集合，使用 var ∪← exp 作为 var ← var ∪ exp 的简写。对于向量变量，使用连接运算符 进行拼接，`var ← exp` 是 `var ← var exp` 的简写，且 不用于字符串连接。
- 关联数组 ：使用 [ ] 表示关联数组（字典数据结构）。通过 A[·] ← exp 可将数组 A 的所有项初始化为默认值 exp ，之后可通过 A[idx] 访问、更新或提取单个项，如 A[idx] ← exp 和 var ← A[idx] 。
- 别名创建 ：使用 := 来创建别名。例如 A := B 使 A 成为表达式 B