PKI信任模型的条件谓词逻辑推理

摘要：

本文提出了一种用条件谓词逻辑来表示和推理PKI信任关系的方法.通过区别认证机构(CA)与用户实体的不同,用四个谓词表示不同个体之间的信任关系,并给出关于公钥绑定真实性和CA信任传递的推理规则.认证路径长度和证书策略是对信任关系的限制,将其作为约束条件加到谓词逻辑中更好地反映出现实中的信任.利用条件谓词逻辑,既能够对一个PKI的信任模型进行整体描述,也可从用户的角度对CA的信任度和实体公钥的真实性进行精确推理,弥补了图形法的不足.

关键词：公开密钥基础设施、信任、信任模型、谓词逻辑

所属期刊栏目：23

分类号：TN913

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：14-20