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

Formalizing PKI Interoperability Trust Models with Trust Logic

作　　者：李柏岩 姚文胜[1] 尤晋元[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《上海交通大学学报》2004年第z1期154-158,共5页Journal of Shanghai Jiaotong University

基　　金：国家自然科学基金资助项目(60173033)

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

关 键 词：信任逻辑 信念 公钥基础设施互通 信任模型 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]