| 安全协议形式化分析理论与方法研究综述 |
| |
| 引用本文： | 冯登国,范红. 安全协议形式化分析理论与方法研究综述[J]. 中国科学院研究生院学报, 2003, 20(4): 389-406 |
| |
| 作者姓名： | 冯登国 范红 |
| |
| 作者单位： | 中国科学院软件研究所,北京,100080 |
| |
| 基金项目： | 国家重点基础研究发展规划项目 (G19990 3 5 80 2 )，国家杰出青年科学基金项目 ( 60 0 2 5 2 0 5 ,60 2 73 0 2 7)资助 |
| |
| 摘 要： | 综述目前安全协议形式化分析的理论与方法 ,包括安全协议的分类与模型 ,安全协议形式化分析的 3种典型方法 (基于推理的结构性方法 ,基于攻击的结构性方法 ,基于证明的结构性方法 ) ,安全协议分析的形式化语言 ,安全协议设计的形式化方法 ,以及安全协议形式化分析面临的挑战
|
| 关 键 词： | 安全协议 安全模型 形式化分析 形式化语言 |
| 修稿时间： | 2003-05-29 |
Survey on Theories and Methods of Formal Analyses for Security Protocols |
| |
| FENG Deng-GuoFAN Hong. Survey on Theories and Methods of Formal Analyses for Security Protocols[J]. Journal of the Graduate School of the Chinese Academy of Sciences, 2003, 20(4): 389-406 |
| |
| Authors: | FENG Deng-GuoFAN Hong |
| |
| Abstract: | Theories and methods of formal analyses for security protocol are surveyed.A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.Also disscussed is a new challenge the methods of security protocol formal analysis are facing.Corresponding comments on these theories and methods are also given during the discussion.Challenges formal analyses face are also proposed. |
| |
| Keywords: | security protocol security model formal analysis formal language |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
