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

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