本文针对几种具体的网络协议，对Ｐｅｔｒｉ网技术在网络协议实现中的应用进行分析。 This article aims at several specific network protoc......

采用谓词／转移网对密钥分配协议的安全性进行建模和分析，从而建立了协议的实体模型和闯入者模型。进一步分析表明，该模型中闯入者可利......