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

【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.更多还原