PKI Trust Model Analysis Based on Probabilistic Model and Conditional Predicate Calculus Logic
A conditional predicate logic and probabilistic 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 probabilistic model is given to measure the degree of confidence among these entities, this model can tell how these constraints affect on the confidence. Probabilistic model and conditional predicate can precisely express a PKI trust model.