基于概率和条件逻辑的PKI信任模型推理

PKI Trust Model Analysis Based on Probabilistic Model and Conditional Predicate Calculus Logic

提出一种基于概率和条件谓词逻辑来表示和推导PKI信任模型的方法.该方法用3个二元条件谓词表示不同个体之间的关系,并给出了实体认证规则、信任规则和信任扩展规则,对信任度定义了一个概率模型,该模型能反映约束条件如何影响信任度.概率模型加条件谓词逻辑能够对一个PKI信任模型进行更精确的描述.

A conditional predicate logic and probabilistie model are proposed for representing and reasoning about PKI trust model. Three predicates are defined to represent the relationships among the different entities, the reasoning rules about Authenticity, Trust extension, and Certification are given. A probabilistie model is given to measure the degree of confidence among these entities, this model can tell how these constraints affect on the confidence. Probabilistie model and conditional predicate can precisely express a PKI trust model.