Formal Model and Security Analysis for Cryptographic Protocols in the Distributed Network Environment

• 分布式网络环境下密码协议形式模型和安全性