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

• 作者: 刘海龙 吴今培 张其善
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 公开密钥基础设施 信任 信任模型 谓词逻辑
• 年，卷（期）: 2002,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 14-20
• 页数: 7页
• 分类号: TN913
• 字数: 4990字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2002.11.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张其善	北京航空航天大学电子工程系	378	3953	30.0	49.0
2	吴今培	北京航空航天大学电子工程系	39	361	10.0	18.0
3	刘海龙	北京航空航天大学电子工程系	6	57	3.0	6.0