In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
应用推荐