41、公钥证书分发与撤销的图模型解读

公钥证书分发与撤销的图模型解读

1. 引言

在安全的数字通信中，公钥证书的分发与撤销是至关重要的环节。公钥证书是一个实体（常为“权威机构”）对另一个实体的某些特征或特权的声明，我们关注的“公钥证书”是将特定公钥与一个实体绑定的声明，且由另一个实体用其私钥签名。

撤销证书可理解为用户召回之前传给其他用户的证书，并且这种撤销需在系统中级联，以确保不会从过时证书中获取信息。更强的撤销方式是发布证书的逆证书，例如之前有证书表明 B 的公钥是 B.pu，逆证书则声明 B.pu 不是 B 的公钥，这种撤销具有时间持久性。

我们的目标是理解公钥基础设施（PKI）中撤销的含义，不追求高效的撤销实现，而是研究撤销的影响以及其与撤销原因的关系。我们采用图来建模和推理系统，图能捕捉系统的信息状态，图转换规则可定义信息的允许更改以及添加新知识的推导。

2. 相关工作

撤销的概念有多种解释，撤销证书的期望结果通常取决于撤销原因。不同研究者对撤销原因进行了分类，并提出了不同的撤销机制：
- 按撤销原因分类 ：
- Cooper 将撤销原因分为良性和恶意类型，指出这两种类型需要不同的撤销实践。
- Fox 和 LaMacchia、Gunter 和 Jim 讨论了不同的撤销原因及适合每种情况的机制。
- Housley 等人针对 X.509 定义了九种公钥证书撤销原因代码，但未针对不同代码建议不同的撤销实践。
- Hagstr¨om 等人使用弹性、传播和主导等维度，为基于所有权的访问控制系统定义并分类了八种不同类型的撤销方案。
- 不同形式主义方法 </