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

Abstract:

To simplify the logical inference of the Public-Key Infrastructure（PKI） trust model, this paper improves on two reasoning approaches to the PKI trus t model proposed by Bakkali H E and Kaitouni B L Firstly, by using three predicates and three restrictions, the definitions and inference rules related   to the trust model are given. Then, on this basis two inferences are proposed. It earl be proved that these approaches can highly simplify the logical i nference. Finally, the deduction procedure is analyzed within a hierarchical architecture model.

Key words: publie key infrastructure, trust model, certificate poliey, logical inference