节点文献
一种混合的安全协议形式化分析技术
A Mixed Formal Analysis Technology of Security Protocols
【摘要】 分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.
【Abstract】 The advantages and disadvantages of model checking technology and logic reasoning technology is analyzed, Based on it, the author gives a specification of the new mixed technology of the two technologies which can provide a more complete formal analysis of security protocols.
【关键词】 模型检测；
逻辑推证；
混合分析技术；
安全协议；
形式化分析；
【Key words】 model checking； logic reasoning； mixed formal analysis technology； security protocols； formal analysis；
【Key words】 model checking； logic reasoning； mixed formal analysis technology； security protocols； formal analysis；
【基金】 973基金资助项目（G1999035802）;国家杰出青年科学基金资助项目（60025205）
- 【文献出处】 中国科学院研究生院学报 ,Journal of the Graduate School of the Chinese Acadmy of Science , 编辑部邮箱 ,2002年03期
- 【分类号】TP393.08
- 【被引频次】5
- 【下载频次】97