对NPKI机制的形式化分析

通过一对等实体通信的实例说明了NPKI的认证原理，在分析了传统PKI公钥证书认证原理的基础上，较为具体地说明了NPKI的身份认证过程，指出了NPKI是一种高效率的证书认证机制。然后对NPKI按照BAN逻辑进行了形式化，在明确其初始条件后，按照BAN逻辑中的有关推理规则，重点证明了NPKI是一种安全可靠的身份认证机制。