PKI信任模型的条件谓词逻辑推理 - 刘海龙; 张其善; 吴今培 (Tongxin xuebao)