中国科学院研究生院学报2002，Vol.19Issue(1)：91-96,6.
安全协议形式化分析的不变式生成技术
Invariant Generation Techniques in Cryptographic Protocol Analysis
摘要
关键词
协议/形式化分析/不变式分类
信息技术与安全科学引用本文复制引用
范红,冯登国,郭金庚..安全协议形式化分析的不变式生成技术[J].中国科学院研究生院学报,2002,19(1):91-96,6.基金项目
973资助项目(G1999035802)和国家杰出青年科学基金资助项目(60025205) （G1999035802）
