14、一种简单而强大的线性方法分析ABE安全性

一种简单而强大的线性方法分析ABE安全性

系统化方法论

我们的方法论是一种系统化的寻找攻击的方法，主要包含以下几个部分：
1. 简洁符号表示 ：许多ABE方案具有相似结构，通过对其公共结构的分析，我们采用更简洁的符号表示（第4.1节）。
2. 指数知识建模 ：模拟攻击者如何利用“指数中的显式值”（例如通过破坏权威机构获取）进行攻击（第4.2节）。
3. 攻击模型定义 ：用简洁符号正式定义攻击模型（第4.3、4.4节）。
4. 启发式方法 ：描述一种简化寻找攻击过程的启发式方法（第4.5节）。

公共结构蕴含简洁符号

很多方案具有相似结构，可通过对指数空间的对编码框架进行分析。我们调整对编码方案的定义，使其与CP - ABE定义相匹配，这种对编码便于更简洁的表示。
以下是CP - ABE所蕴含的扩展对编码的定义：
- 全局设置（GlobalSetup(λ)） ：该算法生成三个阶为p的群G、H、GT，生成元分别为g∈G，h∈H，以及一个双线性对e: G × H → GT。还会选择公共变量b∈R Zp，并发布全局参数GP = (p, G, H, GT, g, h, U, ggp(b))，其中gp为全局参数编码。
- 主密钥设置（MKSetup(GP)） ：算法选择α∈R Zp，设置主密钥MK = α，并发布主公共密钥MPK = {e(g, h)α}。
- 属性设置