14、API在符号模型中的安全性分析

API在符号模型中的安全性分析

1. 安全模型

在安全领域，为了更好地评估系统的安全性，我们需要对攻击者的能力进行建模。这里，我们以一种特定的方式来描述攻击者的能力。

1.1 新术语的计算

我们用 INTRUDER 表示一组规则，这些规则允许攻击者从其已有的术语构建新的术语。具体规则如下：
|规则类型|规则内容|
| ---- | ---- |
|Pair rules| Pint(m1), Pint(m2) ⇒Pint(< m1, m2 >)
Pint(< m1, m2 >) ⇒Pint(m1), Pint(m2) |
|Message container| Pint(m) ⇒Pint(nhdl(m))
Pint(nhdl(m)) ⇒Pint(m) |
|Symmetric cryptography| Pint(Xk), Pint(m1), ..., Pint(mn) ⇒Pint({|m1, ..., mn|}Xk)
Pint(Xk), Pint({|m1, ..., mn|}Xk) ⇒Pint(m1), ..., Pint(mn) |
|Signature| Pint(Σ(m, Xk)) ⇒Pint(m)
Pint(Xk), Pint(m) ⇒Pint(Σ(m, Xk)) |