摘要：为了简化PKI信任模型的逻辑推理，本文对Bakkali H E和他dtouni B I提出的两种推理方法进行了改进。首先通过使用三个谓词和三个约束条件给出与信任模型相关的定义和推理规则，并在此基础上提出了两个推论。可以证明，该方法能够有效地简化逻辑推理。最后，在层次结构模型中分析其推理过程。

关键词：公钥基础设施 信任模型 证书策略 逻辑推理 

单位：华中科技大学计算机科学与技术学院; 湖北武汉430074