对NPKI机制的形式化分析

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