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

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