中国科学院研究生院学报2002，Vol.19Issue(3)：311-323,13.
分布式网络环境下密码协议形式模型和安全性
Formal Model and Security Analysis for Cryptographic Protocols in the Distributed Network Environment
摘要
关键词
密码协议/形式化方法/信息安全/代数系统分类
信息技术与安全科学引用本文复制引用
李先贤,怀进鹏..分布式网络环境下密码协议形式模型和安全性[J].中国科学院研究生院学报,2002,19(3):311-323,13.基金项目
国家自然科学基金和国家863计划基金资助 （）
