中国科学院研究生院学报2003，Vol.20Issue(4)：389-406,18.
安全协议形式化分析理论与方法研究综述
Survey on Theories and Methods of Formal Analyses for Security Protocols
摘要
关键词
安全协议/安全模型/形式化分析/形式化语言分类
信息技术与安全科学引用本文复制引用
冯登国,范红..安全协议形式化分析理论与方法研究综述[J].中国科学院研究生院学报,2003,20(4):389-406,18.基金项目
国家重点基础研究发展规划项目(G1999035802)和国家杰出青年科学基金项目(60025205,60273027)资助 （G1999035802）
