| 基于信任逻辑的PKI互通信任模型形式化 |
| |
| 引用本文： | 李柏岩,姚文胜,尤晋元.基于信任逻辑的PKI互通信任模型形式化[J].上海交通大学学报,2004,38(Z1):154-158. |
| |
| 作者姓名： | 李柏岩 姚文胜 尤晋元 |
| |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200030 |
| |
| 基金项目： | 国家自然科学基金资助项目(60173033) |
| |
| 摘 要： | 为了准确描述公钥基础设施(PKI)互通信任模型的语义,提出一种能推理主体信念和信任关系的形式逻辑,并用该逻辑形式化地分析了3个重要的PKI通信任模型.结果表明,这种逻辑能准确表达PKI互通信任模型的语义,揭示模型的优点和弱点,为验证PKI通模型是否满足特定需求提供了一种有效的形式化方法.
|
| 关 键 词： | 信任逻辑 信念 公钥基础设施互通 信任模型 |
| 文章编号： | 1006-2467(2004)S1-0154-05 |
| 修稿时间： | 2003年9月22日 |
Formalizing PKI Interoperability Trust Models with Trust Logic |
| |
| LI Bai-yan,YAO Wen-sheng,YOU Jin-yuan.Formalizing PKI Interoperability Trust Models with Trust Logic[J].Journal of Shanghai Jiaotong University,2004,38(Z1):154-158. |
| |
| Authors: | LI Bai-yan YAO Wen-sheng YOU Jin-yuan |
| |
| Abstract: | In order to precisely describe the semantics of trust models of Public-Key Infrastructure (PKI) interoperability, this paper proposed a formal logic that can reason about trust and belief. Three typical trust models were formalized using the logic. The result indicates that the formalism can precisely express the semantics of those models and illustrate their advantages as well as weaknesses. It provides us a formal approach to verify whether a trust model proposed for PKI interoperability can satisfy the requirements of the application that uses PKIs. |
| |
| Keywords: | trust logic belief public-key infrastructure (PKI) interoperability trust model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
