| 一种混合的安全协议形式化分析技术 |
| |
| 引用本文： | 范红,冯登国.一种混合的安全协议形式化分析技术[J].中国科学院研究生院学报,2002,19(3):240-245. |
| |
| 作者姓名： | 范红 冯登国 |
| |
| 作者单位： | 中国科学院研究生院信息安全国家重点实验室,北京,100039 |
| |
| 基金项目： | 973基金资助项目（G1999035802），国家杰出青年科学基金资助项目（60025205） |
| |
| 摘 要： | 分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.
|
| 关 键 词： | 模型检测 逻辑推证 混合分析技术 安全协议 形式化分析 |
| 修稿时间： | 2002年6月6日 |
A Mixed Formal Analysis Technology of Security Protocols |
| |
| FAN Hong,FENG Deng-Guo.A Mixed Formal Analysis Technology of Security Protocols[J].Journal of the Graduate School of the Chinese Academy of Sciences,2002,19(3):240-245. |
| |
| Authors: | FAN Hong FENG Deng-Guo |
| |
| 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. |
| |
| Keywords: | model checking logic reasoning mixed formal analysis technology security protocols formal analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
