A conditional predicate calculus logic for PKI trust model analysis

• PKI信任模型的条件谓词逻辑推理