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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2024-10-14

- PKI信任模型的条件谓词逻辑推理
- Issue 11, Pages: 14-20(2002)
- 作者机构：
  
  1. 北京航空航天大学电子工程系
  2. 北京航空航天大学电子工程系北京100083
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN918.1
- Published：2002
- 稿件说明：
移动端阅览
[1]刘海龙,张其善,吴今培.PKI信任模型的条件谓词逻辑推理[J].通信学报,2002(11):14-20.

[J]. 2002, (11): 14-20.
[1]刘海龙,张其善,吴今培.PKI信任模型的条件谓词逻辑推理[J].通信学报,2002(11):14-20. DOI：

[J]. 2002, (11): 14-20. DOI：

摘要

本文提出了一种用条件谓词逻辑来表示和推理PKI信任关系的方法。通过区别认证机构（CA）与用户实体的不同

用四个谓词表示不同个体之间的信任关系

并给出关于公钥绑定真实性和CA信任传递的推理规则。认证路径长度和证书策略是对信任关系的限制

将其作为约束条件加到谓词逻辑中更好地反映出现实中的信任。利用条件谓词逻辑

既能够对一个PKI的信任模型进行整体描述

也可从用户的角度对CA的信任度和实体公钥的真实性进行精确推理

弥补了图形法的不足。

Abstract

关键词

Keywords

references

Views

634

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

基于信任的普适计算服务选择模型

基于全局信任度的多层分组P2P信任模型

P2P环境下的全局信任值分级计算方法

基于节点能力和品质的P2P网络信任模型

基于信任容错的Web服务可靠性增强方法研究

Related Author

尹震宇

张文波

林涛

赵海

王小英

唐益慰

孙知信

易叶青

Related Institution

东北大学信息科学与工程学院,东北大学信息科学与工程学院,东北大学信息科学与工程学院,东北大学信息科学与工程学院,东北大学信息科学与工程学院

常熟理工学院计算机系,江苏常熟215500,辽宁沈阳110004,辽宁沈阳110004,辽宁沈阳110004

南京邮电大学计算机学院

南京邮电大学计算机学院江苏南京210003 南京邮电大学计算机技术研究所

1. 湖南大学计算机与通信学院

AI问答

⁰