| 一种混合的安全协议形式化分析技术 |
| |
| 作者姓名： | 范红 冯登国 |
| |
| 作者单位： | 中国科学院研究生院信息安全国家重点实验室, 北京 100039 |
| |
| 基金项目： | 973基金资助项目（G1999035802）;国家杰出青年科学基金资助项目（60025205） |
| |
| 摘 要： | 分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.
|
| 关 键 词： | 模型检测 逻辑推证 混合分析技术 安全协议 形式化分析 |
| 收稿时间： | 2002-06-06 |
A Mixed Formal Analysis Technology of Security Protocols |
| |
| Authors: | FAN Hong FENG Deng-Guo |
| |
| Institution: | State Key Laboratory of Information Security the Graduate School of the Chinese Academy of Sciences, Beijing 100039 |
| |
| 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 |
|
| 点击此处可从《》浏览原始摘要信息 |
| 点击此处可从《》下载免费的PDF全文 |
