基于信任逻辑的PKI互通信任模型形式化

• 作者: 姚文胜 尤晋元 李柏岩
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: 信任逻辑 信念 公钥基础设施互通 信任模型
• 年，卷（期）: 2004,（z1）
• 页码范围: 154-158
• 页数: 5页
• 分类号: TP309
• 字数: 3532字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2004.z1.038

摘要

为了准确描述公钥基础设施(PKI)互通信任模型的语义,提出一种能推理主体信念和信任关系的形式逻辑,并用该逻辑形式化地分析了3个重要的PKI通信任模型.结果表明,这种逻辑能准确表达PKI互通信任模型的语义,揭示模型的优点和弱点,为验证PKI通模型是否满足特定需求提供了一种有效的形式化方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尤晋元	上海交通大学计算机科学与工程系	99	1122	18.0	30.0
2	姚文胜	上海交通大学计算机科学与工程系	2	8	2.0	2.0
3	李柏岩	上海交通大学计算机科学与工程系	1	6	1.0	1.0